Carottage : définition, carottage béton, diamètres, méthode