|
⇤ ← Version 1 à la date du 2019-12-20 14:07:33
Taille: 63
Commentaire:
|
Taille: 78
Commentaire:
|
| Texte supprimé. | Texte ajouté. |
| Ligne 2: | Ligne 2: |
testestsest |
testestsest
CransWiki: Jean-Louis/Tests/acl2 (dernière édition le 2019-12-22 14:33:04 par lfbn-tou-1-698-170)