portemine nom masculin : Instrument pour écrire constitué d'un cylindre creux dans lequel on place des mines de crayon.