Installer, configurer, et customiser un serveur Galaxy. Avoir les bonnes pratiques d’installation et gestion d’un serveur Galaxy.