http://www.lix.polytechnique.fr/~lib...rue_false.html