combien de tonnes de pierre concassée pour une base de piscine de 24 pieds