Le meneur de l’attaque terroriste de Barcelone était un informateur des renseignements espagnol