Laboratoire lorrain de recherche en informatique et ses applications