La tombe de Robert Badinter a été taguée, quelques heures avant sa panthéonisation