Établissement formel d'un modèle diphasique… · Super Livre