Chapitre 12 - Les listes

[Astalaseven]

\MethodSign{existe}{valeur \In : T, pos \Out : entier}{booléen}
https://github.com/mcodutti/Logique1-Syllabus/blob/master/log1-chapitre-liste.tex#L58

Il me semble qu’une fonction ne peut pas renvoyer une valeur de deux manières différentes.
D’après sa description, existe doit renvoyer la position.
https://github.com/mcodutti/Logique1-Syllabus/blob/master/log1-chapitre-liste.tex#L110

[Astalaseven]

claire : si un \ tableau s’avère trop petit lors de son utilisation,

\ en trop, ligne 185
https://github.com/mcodutti/Logique1-Syllabus/blob/master/log1-chapitre-liste.tex#L185