4.126

Dans le même sens où nous parlons de propriétés formelles, nous pouvons aussi maintenant parler de concepts formels.