un axiome assez contestable