chapitre 1 partie 3 Logique de description
Conditions d’achèvement
introduction a la logique et au langage de description