Pioche

Titre
Pioche
Description
Le verbe piocher signifiait « travailler avec ardeur ». L’expression « temps de pioche » désignait la période de travail préparatoire avant les examens du mois de février mais il semble que Poincaré l’employait également pour désigner la préparation des examens du mois de juin (voir ainsi la lettre 73 page 95).