#!/bin/awk -f
# ./nom_etu fichier num_etu
BEGIN {
    FS = ","
    NUM_ETU=ARGV[2]
    ARGV[2]=""
}

NUM_ETU == $1 { print $2 ; exit }
