R est localement compact, mais bon là je ne crois pas inventer grand chose