31 Première classe de proposition

Trois propositions possèdent le même schéma d'édition que celui de la proposition 6.002 : il s'agit de 1.13, 1.21, et 7.