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.