Parallélisme et programmation fonctionnelle à la Backus.