http://www.philagora.net/corrige/tex...-existence.php