Gilles Muller, IRISA/INRlA