@prefix huto: <http://ns.inria.fr/huto/>.