espace probabilisé