Citation: 1C_242/2021 E. 2.2

2.2. En l'occurrence, le degré de détail souhaité par les recourants dans l'établissement des faits relatifs aux types de logements projetés et de futurs occupants n'est pas décisif pour le sort de la cause. L'arrêt attaqué confirme qu'il est constant que les logements, par leur nature et leur localisation, se prêteraient à de la résidence principale, ce qui, ainsi qu'on le verra ci-dessous, sous réserve du mode de commercialisation prévu (consid. 4.2), est suffisant. Quant aux mesures d'instruction requises et aux offres de production de pièces, leurs réquisitions figurent dans l'état de fait de l'arrêt attaqué et l'on ne voit pas en quoi le fait - omis - que les recourants les auraient présentées déjà lors de la première procédure devant la cour cantonale serait d'importance. S'agissant plus spécifiquement de l'offre, non expressément mentionnée dans l'arrêt attaqué, de présenter toute pièce utile permettant de démontrer la faisabilité financière du projet, elle concerne un aspect du litige qui n'est en réalité pas décisif (cf. consid. 3.2 et 3.4). Enfin, la teneur des déterminations de l'ARE auprès du Tribunal fédéral dans la cause 1C_257/2018 pouvait ne pas apparaître déterminante aux yeux de la cour cantonale, dès lors que l'avis de l'office n'avait précisément pas été suivi par la cour de céans dans l'arrêt du 6 août 2019. Aussi l'établissement des faits n'est-il pas lacunaire sur ces questions.