Éric Schmidt aurait quitté Google