La Profilée - Spécification de base - Définitions, Axiomes, Théorèmes, Conditions de falsification et Limites | Synapse