Abrégé de Logique Formelle