Étendre le domaine d'application de la sous-section 4.2.9. [qui ne vise normalement pas les salles de pompage].