de quoi est mort valéry desmullier