Définition, caractérisation et propriétés des idéaux premiers