instrument de mesure : baromètre enregistreur et gravimètre de Jules Richard - POP