planimètre nom masculin : Intégrateur qui permet, en suivant la frontière d'un convexe compact du plan, de mesurer son aire intérieure.
