Faits : A. Le 8 juin 2015, la commune de Develier a adopté la nouvelle version de son plan d'aménagement local (PAL), le précédent datant de 1992. Selon cette nouvelle planification, six parcelles (n os 1204, 1205, 3116, 3117, 3054 et 3567) situées en périphérie de la zone construite sont désormais affectées, en tout ou partie, en zone d'habitation individuelle, soit 11'869 m2 qui se trouvaient en zone agricole, soit en surfaces d'assolement (SDA). Une surface équivalente de zone constructible du précédent plan est déclassée en zone agricole, soit tout ou partie de 18 parcelles situées elles aussi dans divers secteurs périphériques (parcelles 22, 110, 599, 1220, 1221, 1269, 1271, 1556, 1596, 1931, 3081, 3083, 3096, 3111, 3132, 3172, 3592, et 3594). Par décision du 26 octobre 2015, le Service cantonal jurassien du développement territorial (ci-après: SDT) a approuvé le PAL et rejeté les oppositions. B. Par arrêt du 16 septembre 2016, la Cour administrative du Tribunal cantonal du canton du Jura a rejeté le recours formé par l'Office fédéral du développement territorial (ci-après: l'office ou ARE). Il n'était pas contesté que les mises en zone étaient compensées par un déclassement simultané de surfaces équivalentes, conformément à l'art. 38a al. 2 LAT. Les exigences de l'art. 15 LAT devaient toutefois également être respectées. D'un point de vue formel, le rapport de conformité était insuffisant, mais les motifs ayant conduit à la nouvelle planification étaient clairs et avaient pu être complétés en instance de recours. La définition de la zone constructible se faisait à l'échelle communale, indépendamment d'un éventuel surdimensionnement au niveau cantonal. Develier se trouvait dans l'agglomération de Delémont, qui connaissait la plus forte croissance démographique du canton; les réserves de terrains à bâtir étaient insuffisantes pour les quinze ans à venir, la demande prévisible étant de l'ordre de 75 logements. La coordination supra-communale était assurée par le projet de plan régional de l'agglomération de Delémont. Les exigences de l'art. 30 al. 1bis OAT - dont la conformité à la LAT était au demeurant douteuse - ne s'appliquaient pas lorsque, comme en l'espèce, le recours à des SDA de réserve était compensé. L'extension nécessaire de la zone à bâtir passait par une sollicitation des SDA puisque la localité étaient entièrement entourée de SDA ou de forêt. L'habitat individuel se justifiait en bordure du milieu bâti et les réserves d'utilisation de terrains à bâtir était suffisamment mobilisées. La disponibilité des nouveaux terrains à bâtir était garantie. C. Agissant par la voie du recours en matière de droit public, l'ARE demande au Tribunal fédéral d'annuler l'arrêt cantonal et la décision du SDT et de refuser la modification du PAL. La Cour administrative conclut au rejet du recours, sans observations. Le SDT conclut au rejet du recours. Par la suite, l'office recourant (3 avril 2017, 16 août 2017, 13 novembre 2017 et 15 janvier 2018) et le SDT (2 juin 2017, 29 septembre 2017, 21 décembre 2017 et 2 mars 2018) ont alternativement adressé à la Cour de céans des observations complémentaires, persistant dans leurs conclusions respectives. La commune de Develier n'a en revanche pas déposé de déterminations.