Laboratoire lorrain de recherche en informatique et ses applications (LORIA)