Patrick Devedjian est mort du coronavirus