Note sur l'emploi des chaux hydrauliques Lafarge-du-Theil, dans les travaux de l'Océan. — Édouard Pavin de Lafarge, Léon Joseph Gabriel Auguste Pavin de Lafarge