Fêtes du tricentenaire de la naissance de Blaise Pascal — Paul Painlevé