Moved to https://www.laas.fr/fr/equipes/gepetto/