def est_email_valide(email):
    """ Vérifie si l'adresse e-mail fournie est valide.
    Préconditions : email est une chaîne de caractères non vide.
    Postcondition : retourne True si l'e-mail est valide, False sinon.
    """
    # Ajouter ici les assertions pour vérifier les préconditions
    # ...
    
    # vérifie la présence d'un seul '@'
    if email.count('@') != 1:
        return False
    # vérifie la présence d'un '.' après le '@'
    partie_domaine = email.split('@')[1]
    if '.' not in partie_domaine:
        return False
    return True