Dom Mabillon, dom Ruinard, dom Rivet, Montfaucon n’eussent point accompli leurs œuvres gigantesques s’ils n’eussent eu sous leurs ordres toute une communauté de laborieux travailleurs, qui dégrossissaient l’œuvre à laquelle ils mettaient ensuite la dernière main.