A measure on the set of compact Friedmann-Lemaitre-Robertson-Walker models