Images Docker

Images Docker utilisées pour le développement et l'intégration continue.