Inférence parallèle pour un langage réactif probabilisteGuillaume BaudartLouis Mandelet al.2022JFLA 2022