Langages concurrents avec contraintes — Jean-Hugues Réty