Les systèmes formalisés des modalités aristotéliciennes