Note au sujet de la détermination de la hauteur du niveau de la mer à un instant quelconque de la marée — Charles-Dominique-Maurice Rollet de l'Isle