Mentions légales du service
corrected infinite loop when menhir does not produce .output file for tptp2why target