Chapitre III
Completion requirements
Langages de description des systèmes mixtes