Double-hybrid density-functional theory made rigorous.