\sectionminitoc {section4.1}{1}{Constructions élémentaires}
\sectionminitoc {section4.2}{2}{Points communs et différences des langages}
\sectionminitoc {section4.3}{3}{Spécifications et tests}
\sectionminitoc {section4.4}{4}{Tests}