Quelle est la hauteur maximale pour un mur d’enrochement ?