| dim., 24 juil. 2016 17:39:30 +0200 | Patrick PIERRE | \rm -> \textrm | file | diff | annotate |
| dim., 24 juil. 2016 16:46:25 +0200 | Patrick PIERRE | whitespace-cleanup | file | diff | annotate |
| dim., 22 juin 2014 09:47:20 +0200 | Patrick PIERRE | Déplacement des exemples | file | diff | annotate | base |