Laboratoire d’Informatique de Nantes Atlantique (UMR 6241) (Nantes)