Foncteurs impératifs et composés: la notion de projets dans Frama-C.