essai
animation
realdump2png

WS/*.pgm
WS/*.png
WS/*/*.pgm
WS/*/*.png
WS/*/*.gif
WS/data/*
WS/log.*

*.pgm
*.pnm
*.png
*.gif
*.log
*.mp4
*.dump

*.stderr

foo.pgm
bar.pgm
planets.txt