<#def iso>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<link rel="stylesheet" type="text/css" href="http://www.lri.fr/~filliatr/style.css">
</#def>

<#def metapost><a
href="http://en.wikipedia.org/wiki/MetaPost">Metapost</a></#def>

<#def ocaml><a href="http://caml.inria.fr/">Objective Caml</a></#def>

