Le mathématicien, entre formalisme et intuition