Généralités sur l'Automatique - Exercices corriges
2.2 - Exercice : Analyser et affiner. .... 6 - Architecture orientée objets ( AOD ) .....
le nom d'un axiome d'un schéma d'axiome de la théorie, auquel cas le formule
doit être elle ...... La racine de ce graphe n'est pas systématiquement abstraite.