Formalisation de propositions modérément complexes (révisions).