Programmation dynamique, annotations, liens vers d’autres formalismes