Double étoile. ["Double star".] Traduction de Michel Chrestien — Robert Anson Heinlein