Faire l'opération à partir du script install_from_scratch.sh Les configs de lancement sont dans .idea/workspace.xml