Fichier pour intégration continue : construction d'une image Docker, publication dans la registry