Autour du fichier « rules »
http://pcpool00.mathematik.uni-freiburg.de/~brl/blog/index.html#29