../ sortie1.txt 28-Sep-2013 22:09 16K tp1.scm 28-Sep-2013 22:09 9254 tp2.scm 28-Sep-2013 22:09 10K tp3.scm 28-Sep-2013 22:09 12K tp4.scm 28-Sep-2013 22:09 4706 tp5.scm.txt 28-Sep-2013 22:09 12K