Docker est une plateforme permettant de lancer certaines applications dans des conteneurs logiciels.