9 - Que faire si le terrassement d'une piscine piscine est trop petit ?