ernestophone.ens.fr/.gitignore