L'étoile mystérieuse des « 12 coups de midi » trouvée par Benjamin, nouveau maître de midi