Logique épistémique & philosophie des mathématiques — Paul Gochet, Philippe de Rouilhan