cmd='bash;/Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4/configure-gecode.sh'
