Puit de décompression

Quel est la quantité de gravier qu'il faut mettre sous le radier de la piscine pour un puit de décompression? Un pisciniste m'avait dit 30cm, je trouve ça énorme, j'aurais dit autour de 10 à 15cm?
De plus le puit est fait au cas où il y a de l'eau sous la piscine et qu'on est en train de la vider ou si elle est déjà vide. Par contre quand elle est pleine se puit ne sert à rien car je ne pense pas que même s'il y a beaucoup d'eau sous la piscine et autour, celle-ci puisse se soulever? Je me trompe ou pas?
De plus le puit est fait au cas où il y a de l'eau sous la piscine et qu'on est en train de la vider ou si elle est déjà vide. Par contre quand elle est pleine se puit ne sert à rien car je ne pense pas que même s'il y a beaucoup d'eau sous la piscine et autour, celle-ci puisse se soulever? Je me trompe ou pas?