Écrire descripteurs(table), qui rend la liste des descripteurs

def descripteurs(table):
    """Liste des descripteurs, dans l'ordre du fichier.

    Postcondition : rend [] si la table est vide.
    """
    if len(table) == 0:
        return []
    return list(table[0].keys())

descripteurs(eleves)   # ['nom', 'classe', 'moyenne', 'option']
descripteurs([])       # []

Le cas limite. Sans le test, table[0] lève une IndexError. Or une table vide n'est pas une anomalie : un fichier CSV réduit à sa ligne d'en-tête, ou une sélection qui ne retient rien, en produit une couramment. La fonction doit donc y répondre, et [] est la seule réponse sensée.

Une réserve honnête. Les descripteurs sont lus sur la première ligne. Cela suppose que toutes les lignes ont les mêmes clés — ce que importer vérifie par une assertion. Sans cette garantie, la fonction rendrait les descripteurs d'une ligne, pas ceux de la table.