| PORTE-MINE. n. m. Sorte de petit tube de métal dans lequel on met une mine de crayon et qui sert à écrire, à dessiner. Des porte-mine. |
| PORTE-MINE. n. m. Sorte de petit tube de métal dans lequel on met une mine de crayon et qui sert à écrire, à dessiner. Des porte-mine. |