Update developper.html