UPMCCNRSLaboratório de Ciência da Computação, Paris 6