[Polishing the margins of restorations].