* web/codemap.eliom: better orga