Répare la CI de déploiement de la doc en prod - Suite
La PR !127 (merged) n'a pas résolu tous les problèmes :
Donc on change légèrement la méthode de déploiement.
La PR !127 (merged) n'a pas résolu tous les problèmes :
Donc on change légèrement la méthode de déploiement.