Définition de la fonction de distribution et de ses propriétés fondamentales