« Catala est un langage dédié à l'écriture d'implémentations correctes d'algorithmes dérivés de textes législatifs, conçu à l'INRIA.  »