patrick devedjian