Si la logique est l'hygiène du mathématicien, ce n'est pas elle qui lui fournit sa nourriture ; le pain quotidien dont il vit, ce sont les grands problèmes.

André Weil