J'ai récupéré un ancien lavabo en céramique dont le trou pour le robinet central est trop petit pour le robinet que je souhaite installer. Le trou actuel fait 30 mm; il me faudrait un trou de 32 mm. Qu'est-ce qui existe comme outil pour agrandir le trou, une lime pour céramique?