90
Commentaire:
|
← Version 4 à la date du 2019-12-22 14:33:04 ⇥
106
|
Texte supprimé. | Texte ajouté. |
Ligne 6: | Ligne 6: |
stststeest 3 |
testestsest
tetstst2
stststeest 3
CransWiki: Jean-Louis/Tests/acl2 (dernière édition le 2019-12-22 14:33:04 par lfbn-tou-1-698-170)