Faut-il renoncer à baptiser une station de métro en hommage à Serge Gainsbourg ?