Définition pour : Jensen M.

Pour plus de détails, voir les paragraphes 28.19, 35.15, 36.14 et 38.19 du Vernimmen 2021.