Protégé : Installer Docker avant l’Atelier Data pour les SEOs