Patrick Devedjian est décédé du coronavirus