correct L(A) in the definition of 'langage reconnu par un automate'