L'avenue Pétain débaptisée ?