L'univers des extensions naturelles