eurecom / formationgit