espace probabilisable