Comment monter le répertoire dans Docker avec SELinux actif.

Oublie mon mèl ; j'ai trouvé la solution moi-même. La voici pour en faire bénéficier d'autres collègues dans la même situation.