L'opération consiste à injecter un coulis de ciment sous le revêtement en béton au travers de trous forés dans celui-ci en vue de :