eleve.php: fix typos
eleve.php: add json import/export functions