Langage et environnements dédiés à l’algorithmique.