langage probabiliste