Should France honour Nazi collaborator Petain?