summaryrefslogtreecommitdiff
path: root/sem_4/Logique
ModeNameSize
-rw-r--r--tpScheme.pdf194330logplain