chaîne linéaire (1.32) par Frédéric PELASCINI | 9 Mar 2017 Chaîne (Définition 1.30) sans point de ramification (Définition 1.54) entre les deux unités extrêmes.
