Spécification des structure de programmation