Rebaptisé "Jean-Pierre Guérin" par la France, Mohammed Guerroumi retrouve finalement son prénom de naissance