facts:
Faits :
A.
A._ ressortissant camerounais né en 1974, est entré en Suisse en mars 2006; il a été mis au bénéfice d'une autorisation de séjour en raison de son mariage en avril 2006 avec une compatriote née en 1966, titulaire d'une autorisation d'établissement en Suisse. Suite à la séparation des époux camerounais en janvier 2008, l'autorisation de séjour de A._ n'a pas été prolongée. Après le prononcé du divorce des époux le 10 mars 2009, le prénommé s'est marié, en date du 10 juillet 2009, avec B._, ressortissante suisse née en 1948.
Le 19 juillet 2012, A._ a déposé, auprès de l'Office fédéral des migrations (depuis le 1 er janvier 2015, le Secrétariat d'Etat aux migrations, SEM), une demande de naturalisation facilitée qu'il a obtenue le 10 décembre 2013, après avoir co-signé avec son épouse, le 4 décembre 2013, une déclaration confirmant la stabilité et l'effectivité de leur communauté conjugale.
B.
Les époux ont cessé de faire ménage commun le 19 juin 2015 (cf. convention de mesures protectrices de l'union conjugale signée par les époux le 11 juin 2015 et procès-verbal de l'audience devant le Tribunal régional du 14 septembre 2015). Par courrier du 1 er septembre 2015, le SEM a informé A._ qu'il se voyait contraint d'examiner s'il y avait lieu d'annuler sa naturalisation facilitée, compte tenu de cette séparation. Invité à se déterminer, le prénommé a, par pli du 15 septembre 2015, exposé que les époux ont pris la décision de se séparer lorsqu'il est arrivé en fin de droit des prestations de l'assurance-chômage afin de pouvoir bénéficier de mesures d'insertion professionnelle; il n'avait pas droit à ces mesures de soutien s'il faisait ménage commun avec son épouse, celle-ci étant propriétaire d'une maison et disposant par ailleurs d'économies considérables.
Interrogée le 12 janvier 2016 dans le cadre de la procédure en annulation de la naturalisation facilitée de A._, B._ a déclaré qu'ils n'avaient pas connu de problèmes conjugaux et qu'ils avaient décidé de se séparer en raison des renseignements obtenus au sujet des mesures d'intégration professionnelle. A la question de savoir si une reprise de la vie commune était envisagée, la prénommée a répondu: "c'est une question à laquelle je ne peux pas répondre; notre but est qu'il puisse trouver du travail et avoir une situation professionnelle stable; s'il devient autonome financièrement, qu'il trouve un travail fixe et stable, nous pourrons discuter de la reprise de la vie commune ". A._ a déposé des observations à ce sujet en date du 18 février 2015.
Par décision du 8 avril 2016, le SEM a prononcé l'annulation de la naturalisation facilitée accordée à A._.
C.
Le Tribunal administratif fédéral a confirmé cette décision dans un arrêt rendu le 17 janvier 2017. Il a considéré notamment que la relation liant les époux - ayant un domicile séparé - ne saurait constituer une communauté conjugale stable et effective. Par ailleurs, l'enchaînement chronologique des événements fondait la présomption que la communauté conjugale formée par les intéressés n'était pas stable au moment de la signature de la déclaration commune et lors de la décision de naturalisation; les éléments avancés par l'intéressé n'étaient pas susceptibles de renverser cette présomption.
D.
A._ forme un recours en matière de droit public par lequel il conclut à l'annulation de l'arrêt du Tribunal administratif fédéral et la décision du SEM. Il requiert en outre l'assistance judiciaire.
Invités à se déterminer, le SEM indique que le recours ne contient aucun élément susceptible de remettre en question l'arrêt entrepris, tandis que l'instance précédente renonce à formuler des observations.
Par ordonnance du 22 mars 2017, le Président de la Ire Cour de droit public a admis la requête d'effet suspensif.

considerations:
Considérant en droit :
1.
Dirigé contre la décision du Tribunal administratif fédéral qui confirme l'annulation de la naturalisation facilitée accordée au recourant, le recours est recevable comme recours en matière de droit public (art. 82 al. 1 let. a et 86 al. 1 let. a LTF). Le motif d'exclusion de l'art. 83 let. b LTF n'entre pas en ligne de compte, dès lors qu'il s'agit en l'espèce de naturalisation facilitée et non pas de naturalisation ordinaire. Pour le surplus, le recourant a qualité pour recourir au sens de l'art. 89 al. 1 LTF et les conditions formelles de recevabilité sont remplies, de sorte qu'il y a lieu d'entrer en matière.
2.
Le recourant conteste avoir obtenu la naturalisation par des déclarations mensongères. Il se plaint d'une violation de l'art. 41 de la loi sur la nationalité du 29 septembre 1952 (LN, RS 141.0), ainsi que de l'établissement inexact des faits (art. 97 al. 1 LTF).
2.1. Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente (art. 105 al. 1 LTF), sous réserve des cas prévus à l'art. 105 al. 2 LTF. Le recourant ne peut critiquer les constatations de fait ressortant de la décision attaquée que si celles-ci ont été effectuées en violation du droit au sens de l'art. 95 LTF ou de manière manifestement inexacte, c'est-à-dire arbitraire (<ref-ruling> consid. 2.4 p. 313 s.), et si la correction du vice est susceptible d'influer sur le sort de la cause (art. 97 al. 1 LTF; <ref-ruling> consid. 4.2 p. 233 s.). Conformément à l'art. 106 al. 2 LTF, le recourant doit expliquer de manière circonstanciée en quoi ces conditions seraient réalisées.
En matière d'appréciation des preuves et d'établissement des faits, il n'y a arbitraire que lorsque l'autorité ne prend pas en compte, sans aucune raison sérieuse, un élément de preuve propre à modifier la décision, lorsqu'elle se trompe manifestement sur son sens et sa portée, ou encore lorsque, en se fondant sur les éléments recueillis, elle en tire des constatations insoutenables (<ref-ruling> consid. 2.3 et les références).
2.2. Conformément à l'art. 41 al. 1 LN, l'ODM peut, avec l'assentiment de l'autorité du canton d'origine, annuler la naturalisation ou la réintégration obtenue par des déclarations mensongères ou la dissimulation de faits essentiels.
2.2.1. Pour qu'une naturalisation facilitée soit annulée, il ne suffit pas qu'elle ait été accordée alors que l'une ou l'autre de ses conditions n'était pas remplie; il faut qu'elle ait été acquise grâce à un comportement déloyal et trompeur. S'il n'est point besoin que ce comportement soit constitutif d'une escroquerie au sens du droit pénal, il est nécessaire que l'intéressé ait donné sciemment de fausses informations à l'autorité ou qu'il l'ait délibérément laissée dans l'erreur sur des faits qu'il savait essentiels (<ref-ruling> consid. 2 p. 165; <ref-ruling> consid. 3.1 p. 115 et les arrêts cités). Tel est notamment le cas si le requérant déclare vivre en communauté stable avec son conjoint alors qu'il envisage de se séparer une fois obtenue la naturalisation facilitée; peu importe que son mariage se soit ou non déroulé jusqu'ici de manière harmonieuse (arrêts 1C_256/2012 du 22 novembre 2012 consid. 3.2.1; 1C_406/2009 du 28 octobre 2009 consid. 3.1.1 et l'arrêt cité).
La nature potestative de l'art. 41 al. 1 LN confère une certaine liberté d'appréciation à l'autorité compétente, qui doit toutefois s'abstenir de tout abus dans l'exercice de celle-ci. Commet un abus de son pouvoir d'appréciation l'autorité qui se fonde sur des critères inappropriés, ne tient pas compte de circonstances pertinentes ou rend une décision arbitraire, contraire au but de la loi ou au principe de la proportionnalité (<ref-ruling> consid. 3.1 p. 403; <ref-ruling> consid. 4a p. 101 et les arrêts cités).
D'après la jurisprudence, la notion de communauté conjugale au sens de l'art. 27 LN suppose non seulement l'existence formelle d'un mariage, mais encore une véritable communauté de vie des conjoints; tel est le cas s'il existe une volonté commune et intacte de ceux-ci de maintenir une union conjugale stable. Une séparation survenue peu après l'octroi de la naturalisation constitue un indice de l'absence de cette volonté lors de l'obtention de la citoyenneté suisse (<ref-ruling> consid. 2 p. 165; <ref-ruling> consid. 2 p. 484; <ref-ruling> consid. 3a p. 98). Une communauté de vie aux sens de l'art. 27 LN peut exceptionnellement être admise lorsque les époux ont cessé d'avoir un domicile unique, pour autant que la création de domiciles séparés repose sur des motifs plausibles et que la stabilité du mariage ne soit manifestement pas en cause (<ref-ruling> consid. 2b).
2.2.2. La procédure administrative fédérale est régie par le principe de la libre appréciation des preuves (art. 40 de la loi fédérale de procédure civile fédérale du 4 décembre 1947 [PCF; RS 273], applicable par renvoi de l'art. 19 PA [RS 172.021]). Ce principe vaut également devant le Tribunal administratif fédéral (art. 37 LTAF [RS 173.32]). L'administration supporte le fardeau de la preuve lorsque la décision intervient, comme en l'espèce, au détriment de l'administré. Cela étant, la jurisprudence admet dans certaines circonstances que l'autorité puisse se fonder sur une présomption. C'est notamment le cas pour établir que le conjoint naturalisé a menti lorsqu'il a déclaré former une union stable, dans la mesure où il s'agit d'un fait psychique lié à des éléments relevant de la sphère intime, souvent inconnus de l'administration et difficiles à prouver (<ref-ruling> consid. 3 p. 166; <ref-ruling> consid. 3.2 p. 485). Partant, si l'enchaînement rapide des événements fonde la présomption de fait que la naturalisation a été obtenue frauduleusement, il incombe alors à l'administré de renverser cette présomption en raison, non seulement de son devoir de collaborer à l'établissement des faits (art. 13 al. 1 let. a PA; cf. <ref-ruling> consid. 3 p. 166; <ref-ruling> consid. 3.2 p. 115 s.), mais encore de son propre intérêt (ATF <ref-ruling> consid. 3.2 p. 485 s.).
S'agissant d'une présomption de fait, qui ressortit à l'appréciation des preuves et ne modifie pas le fardeau de la preuve (cf. <ref-ruling> consid. 3 p. 166), l'administré n'a pas besoin, pour la renverser, de rapporter la preuve contraire du fait présumé, à savoir faire acquérir à l'autorité la certitude qu'il n'a pas menti; il suffit qu'il parvienne à faire admettre l'existence d'une possibilité raisonnable qu'il n'ait pas menti en déclarant former une communauté stable avec son conjoint. Il peut le faire en rendant vraisemblable, soit la survenance d'un événement extraordinaire susceptible d'expliquer une détérioration rapide du lien conjugal, soit l'absence de conscience de la gravité de ses problèmes de couple et, ainsi, l'existence d'une véritable volonté de maintenir une union stable avec son conjoint lorsqu'il a signé la déclaration (<ref-ruling> consid. 3 p. 165 s. et les arrêts cités).
2.3. Dans un premier moyen, le recourant soutient que l'instance précédente aurait dû admettre l'existence d'une communauté conjugale stable entre les époux, malgré l'absence d'un domicile commun. Il lui reproche notamment d'avoir constaté, de façon manifestement inexacte, qu'il n'aurait jamais allégué devant le SEM avoir maintenu une véritable communauté conjugale après la séparation intervenue en juin 2015. Il se prévaut à cet égard des nombreux contacts téléphoniques entre les époux, mais également des activités communes qu'ils partagent comme le jardinage, des repas, la politique et la participation à des manifestations publiques; il se réfère en outre aux courriers de tiers attestant que les époux continuaient d'avoir des activités communes.
Le Tribunal administratif fédéral a certes constaté que les intéressés, une fois séparés, avaient maintenu des contacts réguliers (cf. notamment les relevés de communication de l'abonnement de téléphone de l'intéressé versés au dossier par pli du 5 août 2016), que le recourant avait soutenu les activités politiques de son épouse (cf. les observations du 15 septembre 2015 p. 2 in fine), qu'ils faisaient du jardinage ensemble (cf. le procès-verbal de l'audition de son épouse du 12 janvier 2016 p. 4 pt. 7), qu'ils partageaient des repas et d'autres loisirs (cf. les lettres de soutien du 11 juillet 2016). Toutefois, force est d'admettre, avec l'instance précédente, que les liens que les époux ont conservé ne sauraient être assimilés à ceux d'une véritable communauté conjugale au sens de l'art. 27 LN. Contrairement à ce que soutient le recourant, le Tribunal administratif fédéral pouvait sans arbitraire tenir compte du fait que les époux n'avaient jamais allégué, durant la procédure devant le SEM, avoir maintenu, malgré l'existence de domiciles séparés, une communauté conjugale stable et effective au sens de la jurisprudence précitées (cf. courriers du recourant des 15 septembre 2015 et 18 février 2016; procès-verbal d'audition de l'épouse du 12 janvier 2016). De plus, l'épouse du recourant a notamment déclaré que si celui-ci devenait autonome financièrement et qu'il trouvait un travail fixe et stable, ils pourraient rediscuter de la reprise de la vie commune. On ne saurait, dans ces circonstances, considérer que les époux avaient manifestement une volonté commune et intacte de maintenir une communauté conjugale. De plus, la conception du mariage, protégée par le législateur, implique notamment un devoir d'assistance mutuelle entre les époux; en l'occurrence, une union stable et effective imposerait à ces derniers de s'entraider plutôt que de chercher à contourner les règles sur le droit aux prestations sociales. Enfin, quoi qu'en pense le recourant, le fait que le domicile des époux serait géographiquement proche (1 km) et que son appartement serait un ancien garage est sans pertinence. Ne sont pas non plus décisives les lettres de tiers attestant que les époux continuaient d'avoir des activités communes.
Le Tribunal administratif fédéral n'a donc pas violé le droit fédéral en considérant que les intéressés n'avaient pas maintenu une communauté conjugale au sens de l'art. 27 LN après leur séparation intervenue en juin 2015.
2.4. Le recourant conteste ensuite la présomption, retenue par l'instance précédente, selon laquelle la communauté conjugale n'était pas stable et orientée vers l'avenir au moment de la naturalisation facilitée. Sa critique doit être rejetée. En effet, le Tribunal administratif fédéral pouvait, au vu de la jurisprudence rendue en la matière (cf. notamment arrêts du Tribunal fédéral 1C_796/2013 du 13 mars 2014 consid. 3.2 et 1C_172/2012 du 11 mai 2012 consid. 2.3), considérer que l'enchaînement chronologique entre la déclaration commune (le 4 décembre 2013), l'octroi de la naturalisation facilitée (le 10 décembre 2013) et la séparation des époux (le 19 juin 2015) fondait la présomption que la naturalisation facilitée avait été obtenue frauduleusement.
Pour l'instance précédente, cette présomption était notamment renforcée par le fait que la décision de se remarier avec une citoyenne suisse, de 26 ans son aînée, avait été prise alors que le recourant s'était vu refusé fin 2008 le renouvellement de son autorisation de séjour en raison de la séparation avec sa première épouse. Quoi qu'en pense le recourant, l'instance précédente pouvait, sans violer le droit fédéral, prendre en compte ces éléments dans son appréciation.
2.5. Pour renverser la présomption établie, le recourant affirme qu'il a rendu vraisemblable qu'il vivait dans une communauté conjugale stable avec son épouse malgré la séparation et qu'il n'a pas menti au moment de sa naturalisation facilitée. Il se prévaut du fait qu'il n'était alors pas au chômage et qu'il ne pouvait pas prévoir se retrouver en fin de droit et devoir entreprendre des mesures d'insertion professionnelle pour ne pas être exclu du marché de l'emploi. Les arguments du recourant ne permettent toutefois pas de renverser la présomption établie. Celui-ci ne répond en particulier pas à l'argumentation de l'instance précédente qui a exposé de façon convaincante que la situation professionnelle du recourant était instable depuis des années (celui-ci avait notamment déjà connu une période de chômage de 18 mois dès 2011) et que cette situation n'avait pas créé des différends conjugaux au sein du couple avant la séparation. Aussi, il n'apparaît pas crédible que les difficultés professionnelles de l'intéressé aient conduit à la rupture définitive de l'union conjugale, prétendument effective et stable, seulement deux mois après la fin de son droit aux prestations de l'assurance-chômage. Avec l'instance précédente, force est d'admettre que les éléments invoqués par le recourant ne sauraient suffire, à eux seuls, pour expliquer une dégradation aussi rapide du lien conjugal. L'intéressé n'a pas non plus rendu plausible qu'il formait avec son épouse une communauté conjugale effective et stable au moment de la signature de la déclaration de vie commune et de l'octroi de la naturalisation facilitée.
2.6. Il en découle que les conditions d'application de l'art. 41 LN sont réunies et que le Tribunal administratif fédéral n'a pas violé le droit fédéral en confirmant l'annulation de la naturalisation facilitée qui avait été octroyée au recourant.
3.
Sur le vu de ce qui précède, le recours doit être rejeté dans la mesure de sa recevabilité. Dès lors que le recourant est dans le besoin et que ses conclusions ne paraissaient pas d'emblée vouées à l'échec, sa requête d'assistance judiciaire doit être admise (art. 64 al. 1 LTF). Par conséquent, il y a lieu de le dispenser des frais judiciaires et d'allouer une indemnité à son mandataire, désigné comme avocat d'office (art. 64 al. 2 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est rejeté.
2.
La demande d'assistance judiciaire est admise. Me Jean-Marie Röthlisberger est désigné comme défenseur d'office du recourant et une indemnité de 2'000 fr. lui est allouée à titre d'honoraires, à verser par la caisse du Tribunal fédéral. Il n'est pas perçu de frais judiciaires.
3.
Le présent arrêt est communiqué au mandataire du recourant, au Secrétariat d'Etat aux migrations et au Tribunal administratif fédéral, Cour VI.
Lausanne, le 19 mai 2017
Au nom de la Ire Cour de droit public
du Tribunal fédéral suisse
Le Président : Merkli
La Greffière : Arn


facts:
Sachverhalt:
A.
Die 1990 geborene A._ war bei der Agrisano Krankenkasse AG (nachfolgend: Agrisano) im Rahmen der obligatorischen Krankenpflegeversicherung versichert. Am 15. April 2013 ersuchten ihre behandelnden Ärzte die Agrisano um Kostengutsprache für eine "lymphologische Liposuction bei Lipödem am Oberschenkel". Entsprechend der Stellungnahme ihres Vertrauensarztes verneinte die Agrisano ihre Leistungspflicht mit Schreiben vom 29. April 2013.
Im Mai 2013 unterzog sich die Versicherte der geplanten Liposuktion, anschliessend erfolgte Physiotherapie in Form von Lymphdrainage. Am 22. Januar, 9. Mai und 3. Oktober 2014 wurden wiederum Liposuktionen durchgeführt. Weitere Gesuche um Übernahme dieser Leistungen beschied die Agrisano jeweils abschlägig. Mit Verfügung vom 14. Oktober 2014 lehnte die Agrisano die Übernahme von Liposuktionen und Lymphdrainagen ab. Dabei stellte sie einerseits den Krankheitswert der Lipödeme und anderseits die Wirksam-, Zweckmässig- und Wirtschaftlichkeit der Behandlungen in Abrede. Daran hielt sie mit Einspracheentscheid vom 29. Januar 2015 fest.
B.
Die dagegen erhobene Beschwerde wies das Verwaltungsgericht des Kantons Thurgau mit Entscheid vom 14. Oktober 2015 ab.
C.
A._ lässt mit Beschwerde in öffentlich-rechtlichen Angelegenheiten beantragen, unter Aufhebung des Entscheids vom 14. Oktober 2015 sei die Agrisano zu verpflichten, ihr die Kosten für die Liposuktionen und die Lymphdrainagen zur Behandlung der Lipödeme zu vergüten; eventualiter sei die Sache zu ergänzenden Abklärungen und anschliessender Neuverfügung an die Agrisano zurückzuweisen; subeventualiter sei die Sache zu neuem Entscheid ohne Teilnahme von Verwaltungsrichter B._ an das Verwaltungsgericht zurückzuweisen.
Das kantonale Gericht schliesst auf Abweisung der Beschwerde. Die Agrisano und das Bundesamt für Gesundheit verzichten auf eine Stellungnahme.

considerations:
Erwägungen:
1.
1.1. Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann unter anderem die Verletzung von Bundesrecht gerügt werden (<ref-law>). Die Feststellung des Sachverhalts kann nur gerügt werden, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht und wenn die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann (<ref-law>). Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (<ref-law>). Es kann die Sachverhaltsfeststellung der Vorinstanz von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht (<ref-law>).
1.2. Eine Sachverhaltsfeststellung - als welche auch die konkrete Beweiswürdigung zu verstehen ist - ist nicht schon dann offensichtlich unrichtig, wenn sich Zweifel anmelden, sondern erst, wenn sie eindeutig und augenfällig unzutreffend ist (<ref-ruling> E. 3.1 S. 44). Eine offensichtlich unrichtige Sachverhaltsfeststellung weist damit die Tragweite von Willkür auf (<ref-ruling> E. 8.1 S. 153; Botschaft des Bundesrates vom 28. Februar 2001 zur Totalrevision der Bundesrechtspflege, BBl 2001 S. 4338; MARKUS SCHOTT, Basler Kommentar, Bundesgerichtsgesetz, 2. Aufl. 2011, N. 9 f. zu <ref-law>). Es liegt noch keine offensichtliche Unrichtigkeit vor, nur weil eine andere Lösung ebenfalls in Betracht fällt, selbst wenn diese als die plausiblere erschiene (Urteil 9C_570/2007 vom 5. März 2008 E. 4.2). Eine Sachverhaltsfeststellung ist etwa dann offensichtlich unrichtig, wenn das kantonale Gericht den Sinn und die Tragweite eines Beweismittels offensichtlich falsch eingeschätzt, ohne sachlichen Grund ein wichtiges und für den Ausgang des Verfahrens entscheidendes Beweismittel nicht beachtet oder aus den abgenommenen Beweisen unhaltbare Schlüsse gezogen hat (<ref-ruling> E. 2.1 S. 9; Urteile 9C_851/2012 vom 5. März 2013 E. 2.3.2; 8C_5/2010 vom 24. März 2010 E. 1.2).
2.
2.1. Vorab ist auf die Rüge formeller Natur einzugehen. Die Beschwerdeführerin rügt insofern eine Verletzung von <ref-law> und Art. 6 Ziff. 1 EMRK, als ein Mitglied des vorinstanzlichen Spruchkörpers nicht nur als Verwaltungsrichter, sondern auch im Rechtsdienst einer Krankenversicherung tätig sei.
2.2. Wer eine Justizperson wegen Befangenheit ablehnen will, muss sein Begehren einreichen, sobald er vom Ausstandsgrund Kenntnis erhalten hat und diesen sinnvollerweise darzutun bzw. die entsprechenden Umstände glaubhaft zu machen vermag. Andernfalls ist der Anspruch auf seine spätere Anrufung verwirkt (<ref-law>; <ref-ruling> E. 3.2.1 S. 124; <ref-ruling> E. 2.2 S. 4 mit Hinweisen; vgl. auch <ref-law>). Es widerspricht Treu und Glauben, wenn eine Partei einen Ausstandsgrund zurückhält und ihn erst vorbringt, wenn das Gericht einen für sie negativen Entscheid fällt (<ref-ruling> E. 3.2.1 S. 124; <ref-ruling> E. 3.2.2 S. 609). Das bedeutet allerdings nicht, dass das Gericht im Vorfeld die Zusammensetzung des Spruchkörpers mitteilen muss. Es genügt, wenn sich die Namen der ordentlichen Mitglieder einer Abteilung oder Kammer aus öffentlich zugänglichen Quellen (z.B. Staatskalender, Internet) ergeben (<ref-ruling> E. 3.2.1 S. 124 f.; Urteile 4A_62/2014 vom 20. Mai 2014 E. 3.1, nicht publ. in: <ref-ruling>; 5A_335/2010 vom 6. Juli 2010 E. 2.2.2).
2.3. Die SWICA Krankenversicherung AG (nachfolgend: Swica) bezweckt insbesondere die Durchführung der obligatorischen Krankenversicherung nach KVG. Aus dem Handelsregisterauszug geht hervor, dass der interessierende Richter seit Oktober 2007 für die Swica zeichnungsberechtigt ist. Sodann lässt sich die ordentliche Zusammensetzung des Verwaltungsgerichts aus dem Internet-Portal des Gerichts erfahren (Urteil 5A_335/2010 vom 6. Juli 2010 E. 2.2.2). Dass die geltend gemachten Ausstandsgründe erst seit kurzem bekannt gewesen sein sollen (vgl. etwa Urteil 4A_62/2014 vom 20. Mai 2014 E. 3.3), wird zu Recht nicht geltend gemacht. Somit hätte der Ausstand des Richters bereits in der vorinstanzlichen Beschwerde verlangt werden können; die erstmals vor Bundesgericht erhobene Rüge ist verspätet.
Bei diesem (Zwischen-) Ergebnis kann offenbleiben, ob es für die Vermeidung des Anscheins der Befangenheit (<ref-ruling> E. 4.1 S. 221 f.) genügt, wenn der betroffene Richter nur in Fällen, in denen der Swica Parteistellung zukommt, in den Ausstand tritt.
3.
3.1. Die obligatorische Krankenpflegeversicherung übernimmt - unter Vorbehalt der Wirksam-, Zweckmässig- und Wirtschaftlichkeit (<ref-law>) - die Kosten für die Leistungen, die der Diagnose oder Behandlung einer Krankheit und ihrer Folgen dienen (<ref-law>). Krankheit ist jede Beeinträchtigung der körperlichen, geistigen oder psychischen Gesundheit, die nicht Folge eines Unfalles ist und die eine medizinische Untersuchung oder Behandlung erfordert oder eine Arbeitsunfähigkeit zur Folge hat (<ref-law>).
3.2. Der Anhang 1 zur Verordnung des EDI vom 29. September 1995 über Leistungen in der obligatorischen Krankenpflegeversicherung (Krankenpflege-Leistungsverordnung, KLV; SR 832.112.31) bezeichnet diejenigen Leistungen, die nach Artikel 33 Buchstaben a und c KVV (SR 832.102) von der Leistungs- und Grundsatzkommission geprüft wurden und deren Kosten von der obligatorischen Krankenpflegeversicherung übernommen, nur unter bestimmten Voraussetzungen übernommen oder aber nicht übernommen werden (<ref-law>). Die Liposuktion (Fettabsaugung) wird darin nicht aufgeführt. Da Anhang 1 KLV keine abschliessende Aufzählung der ärztlichen Pflicht- oder Nichtpflichtleistungen enthält (einleitende Bemerkung zu Anhang 1 KLV), ergibt sich daraus, wie auch aus der KLV selber, nichts für die Beurteilung der umstrittenen Leistungspflicht.
3.3. Im Zusammenhang mit der Korrektur einer Mammahypertrophie erwog das Eidg. Versicherungsgericht, dass die operative Brustreduktion dann eine Pflichtleistung der Krankenkassen darstellt, wenn die Hypertrophie körperliche oder psychische Beschwerden mit Krankheitswert verursacht und Ziel des Eingriffs die Behebung dieser krankhaften Begleitumstände als der eigentlichen Krankheitsursache ist. Entscheidend ist nicht das Vorliegen eines bestimmten Beschwerdebildes, sondern ob die Beschwerden erheblich sind und andere, vor allem ästhetische Motive genügend zurückdrängen (<ref-ruling> E. 4 S. 213 mit Hinweisen). Eine Orientierung an diesen Grundsätzen, wenn es wie hier um die Frage der Leistungspflicht für eine Liposuktion bei Lipödemen geht, erscheint vor allem im Hinblick darauf, dass nicht der ästhetische Aspekt im Vordergrund stehen darf, als sachgerecht.
4.
4.1. Die Vorinstanz hat gestützt auf die medizinischen Unterlagen festgestellt, die Versicherte habe sich hinsichtlich der an beiden Beinen vorhandenen Lipödeme hauptsächlich an der körperlichen Disproportion gestört. Soweit von Schmerzen und Berührungsempfindlichkeit die Rede sei, könne nicht darauf geschlossen werden, dass diesen Krankheitswert zukomme. Eine phlebologische Abklärung habe keine Anhaltspunkte für eine Erkrankung des Venensystems ergeben. Die erwähnte "angeschlagene Psyche" habe nie zu einer entsprechenden Behandlung geführt. Die Beschwerdeführerin habe in den Lipödemen in erster Linie einen ästhetischen Mangel erblickt, ohne dadurch in ihrer Gesundheit objektiv beeinträchtigt zu sein. Folglich hat das kantonale Gericht für die Liposuktionen und die als Nachbehandlung durchgeführten Lymphdrainagen eine Leistungspflicht der Agrisano verneint.
4.2. Dass die vorinstanzlichen Feststellungen offensichtlich unrichtig (E. 1.2) sein sollen, ist nicht ersichtlich und wird auch nicht (substanziiert) geltend gemacht. Insbesondere wurde resp. wird nicht konkret dargelegt, dass die geltend gemachten Schmerzen und die psychische Belastung einerseits von erheblicher Intensität und anderseits als solche behandlungsbedürftig gewesen sein sollen (vgl. E. 3.3). Dies lässt sich denn auch den medizinischen Unterlagen nicht entnehmen. Die Beschwerdeführerin beschränkt sich im Wesentlichen darauf, lediglich die medizinischen Berichte abweichend von der Vorinstanz zu würdigen und daraus andere Schlüsse zu ziehen, was nicht ausreicht (Urteile 9C_688/2007 vom 22. Januar 2008 E. 2.3 und 4A_28/2007 vom 30. Mai 2007 E. 1.3 [in <ref-ruling> nicht publiziert]).
4.3. Soweit sich die Beschwerdeführerin darauf beruft, dass auch der Vertrauensarzt Dr. med. C._ "genauere Kenntnis der VN und deren Persönlichkeit" verlangt habe, kann sie nichts für sich ableiten: Der Arzt erwartete weitere Erkenntnis "am ehesten" aus einer "seriösen angiologischen Abklärung"; eine solche war indessen bereits erfolgt, ohne dass krankhafte Befunde erhoben werden konnten. Sodann hat die Vorinstanz für die entscheidenden Feststellungen (E. 4.1) nicht ausschliesslich auf die vertrauensärztlichen Berichte abgestellt, sondern die gesamte medizinische Aktenlage berücksichtigt. Der Verzicht auf weitere Abklärungen, insbesondere die Einholung eines Aktengutachtens, erfolgte somit in pflichtgemässer antizipierender Beweiswürdigung (vgl. <ref-ruling> E. 5.3 S. 236; <ref-ruling> E. 5.3 S. 148). Demnach beruhen die vorinstanzlichen Feststellungen auch nicht auf einer Rechtsverletzung; sie bleiben für das Bundesgericht verbindlich (E. 1.1).
4.4. Nach dem Gesagten hat die Vorinstanz einen Krankheitswert der Lipödeme (vgl. E. 3.3) und folglich auch die Leistungspflicht der Agrisano für deren Behandlung zu Recht verneint. Die Beschwerde ist unbegründet.
5.
Dem Ausgang des Verfahrens entsprechend hat die Beschwerdeführerin die Kosten zu tragen (<ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 500.- werden der Beschwerdeführerin auferlegt.
3.
Dieses Urteil wird den Parteien, dem Verwaltungsgericht des Kantons Thurgau und dem Bundesamt für Gesundheit schriftlich mitgeteilt.
Luzern, 14. April 2016
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Glanzmann
Die Gerichtsschreiberin: Dormann

canton: CH

region: Federation


facts:
Faits :
A.
A.a. X._, ressortissant norvégien et français né en 1987, a été condamné en appel le 5 juin 2008 par la Cour d'appel d'Aix-en-Provence (France) à une peine de cinq ans d'emprisonnement, dont trente mois avec sursis pour homicide involontaire. Dans une zone où la vitesse était limitée à 90 km/h en raison de travaux, il circulait sur l'autoroute à 188 km/h sous l'emprise de l'alcool et a provoqué un accident lors duquel le passager de son véhicule a été tué. La Cour d'appel a également confirmé l'annulation du permis de conduire de X._ et l'interdiction d'en solliciter un nouveau pendant dix ans. Par arrêt du 19 mai 2009, la Cour de cassation de la République française a rejeté le pourvoi de l'intéressé.
A.b. X._ est entré en Suisse le 30 septembre 2008, pour y rejoindre ses parents. Dans sa demande d'autorisation de séjour, il a indiqué n'avoir fait l'objet d'aucune condamnation, ni en Suisse, ni à l'étranger. Un permis de séjour valable jusqu'au 18 novembre 2014 lui a été octroyé. Il a alors sollicité du Service des automobiles et de la navigation du canton de Vaud (ci-après: le Service des automobiles) l'échange de son permis de conduire norvégien contre un permis de conduire suisse.
Le 20 novembre 2009, le Préfet de Nyon a condamné X._ à une peine pécuniaire de 20 jours-amende avec sursis et à une amen-de de 1'000 fr., notamment pour violation simple et grave des règles de la circulation routière, par un conducteur se trouvant en incapacité de conduire, opposition ou dérobade aux mesures visant à déterminer l'incapacité de conduire et violation des devoirs en cas d'accident. Le Service des automobiles lui a retiré son permis de conduire pour une durée d'un mois. Le 2 décembre 2010, le Juge d'instruction de La Côte a condamné X._ pour des actes s'étant déroulés les 3 août 2009, 19 novembre 2009, 5 décembre 2009 et 29 mars 2010, à une peine pécuniaire de 40 jours-amende et à une amende de 1'000 fr. pour violation simple et grave des règles de la circulation routière, soit notamment conduite en état d'ébriété qualifiée et mise d'un véhicule automobile à la disposition d'un conducteur non titulaire du permis nécessaire. Le sursis octroyé le 20 novembre 2009 a été révoqué. Le Service des automobiles a, pour sa part, retiré le permis de conduire de l'intéressé pour une durée de cinq mois et a prononcé un avertissement. Après que l'intéressé eut commis un nouvel excès de vitesse de 28 km/h, le 22 avril 2011, sur un tronçon où la vitesse autorisée était de 80 km/h, ledit Service a encore prononcé un retrait de permis d'une durée de neuf mois.
Le 23 novembre 2011, l'Office fédéral de la justice a extradé X._ à la demande des autorités françaises, afin que celui-ci exécute la peine prononcée le 5 juin 2008. Après avoir subi une année de détention en France, X._ a été extradé vers la Norvège, pour y purger la fin de sa peine.
Le 6 juin 2012, l'Office fédéral des migrations (actuellement et ci-après: le Secrétariat d'Etat aux migrations) a prononcé une interdiction d'entrée à l'encontre de X._, valable jusqu'au 5 juin 2022. L'intéressé a attaqué cette décision, et la cause est actuellement pendante devant le Tribunal administratif fédéral, la procédure ayant été suspendue.
A.c. Libéré conditionnellement, X._ est revenu en Suisse le 6 juillet 2013 et y a requis une autorisation de séjour avec activité lucrative.
Le 20 février 2014, X._ a à nouveau conduit un véhicule automobile avec un taux d'alcoolémie qualifié et sous l'effet de médicaments. L'analyse de sang a mis en évidence une concentration de cocaïne dans le sang se situant entre 12 et 24 μg/L, soit une valeur qui pouvait être inférieure à la limite légale de 15 μg/L. Le rapport médical, rédigé à l'occasion de l'interpellation de l'intéressé, mentionne que X._ souffre de bipolarité et qu'il suit un traitement médical. Le 6 mai 2014, le Service des automobiles a décidé de retirer à X._ son permis de conduire pour une durée indéterminée, mais d'au moins 24 mois à compter du 20 février 2014; il a conditionné la révocation de cette mesure aux conclusions favorables d'une expertise réalisée auprès de l'Unité de médecine et de psychologie du trafic.
Par décision du 20 mai 2014, le Service de la population du canton de Vaud (ci-après: le Service de la population) a refusé d'octroyer à X._ une autorisation de séjour et a prononcé son renvoi de Suisse.
Le Ministère public de l'arrondissement de La Côte a condamné X._, le 5 novembre 2014, notamment pour conduite avec un taux d'ébriété qualifié et contravention selon l'art. 19a de la loi sur les stupéfiants, à une peine pécuniaire de 60 jours-amende, ainsi qu'à une amende de 600 fr. Il lui a été reproché, en sus des faits s'étant déroulés le 20 février 2014, d'avoir mis, le 6 mars 2014, son véhicule automobile à disposition d'une personne tierce, en sachant que celle-ci n'était pas en état de le conduire.
B.
Par arrêt du 18 mars 2015, le Tribunal cantonal du canton de Vaud (ci-après: le Tribunal cantonal) a rejeté le recours de X._. Il a en substance jugé que l'intéressé constituait une menace grave pour l'ordre public suisse et que le refus de lui délivrer une autorisation de séjour respectait le principe de proportionnalité.
C.
Agissant par la voie du recours en matière de droit public, X._ demande au Tribunal fédéral, sous suite de frais et dépens, principalement, d'annuler l'arrêt du 18 mars 2015 du Tribunal cantonal, d'annuler la décision du 20 mai 2014 du Service de la population et de lui octroyer une autorisation de séjour UE/AELE, subsidiairement, d'annuler l'arrêt du 18 mars 2015 du Tribunal cantonal et de renvoyer la cause à l'autorité cantonale pour nouvelle décision dans le sens des considérants.
Le Service de la population a renoncé à déposer des observations. Le Tribunal cantonal ne s'est pas déterminé. Le Secrétariat d'Etat aux migrations conclut implicitement au rejet du recours.
Par ordonnance du 6 mai 2015, le Président de la IIe Cour de droit public a admis la requête d'effet suspensif.
X._ s'est encore prononcé par écriture du 17 août 2015.

considerations:
Considérant en droit :
1.
1.1. En sa qualité de ressortissant français le recourant peut se prévaloir de l'Accord du 21 juin 1999 entre la Confédération suisse, d'une part, et la Communauté européenne et ses États membres, d'autre part, sur la libre circulation des personnes (ci-après: ALCP ou l'Accord; RS 0.142.112.681; cf. <ref-ruling> consid. 1.2 p. 343). Le recours échappe par conséquent au motif d'irrecevabilité de l'art. 83 let. c ch. 2 LTF.
1.2. Pour le surplus, le recours remplit les conditions des art. 42 et 82 ss LTF. Partant, il convient d'entrer en matière.
1.3. Toutefois, la conclusion tendant à l'annulation de la décision du 20 mai 2014 du Service de la population est irrecevable: eu égard à l'effet dévolutif du recours devant le Tribunal cantonal, l'arrêt de cette autorité se substitue aux prononcés antérieurs (<ref-ruling> consid. 1.2 p. 543).
2.
Le recourant se plaint d'une constatation manifestement inexacte des faits. Il souligne que le pourvoi en cassation, avant lequel aucune condamnation n'était entrée en force, n'a été rejeté par la Cour de cassation de la République française qu'en mai 2009, soit après son entrée en Suisse. Or, bien que le Tribunal cantonal admette qu'au moment de son arrivée en Suisse la décision le condamnant n'était pas exécutoire, cette autorité lui aurait reproché d'avoir omis de la déclarer lors de sa demande d'autorisation de séjour en septembre 2008.
2.1. Selon l'<ref-law>, le recours peut critiquer les constatations de fait à la double condition que les faits aient été établis de façon manifestement inexacte ou en violation du droit au sens de l'<ref-law> et que la correction du vice soit susceptible d'influer sur le sort de la cause, ce que le recourant doit rendre vraisemblable par une argumentation répondant aux exigences des art. 42 al. 2 et 106 al. 2 LTF. La notion de "manifestement inexacte" figurant à l'<ref-law> correspond à celle d'arbitraire au sens de l'art. 9 Cst. (<ref-ruling> consid. 4.1.2 p. 62). En matière d'appréciation des preuves et d'établissement des faits, l'autorité tombe dans l'arbitraire lorsqu'elle ne prend pas en compte, sans raison sérieuse, un élément de preuve propre à modifier la décision, lorsqu'elle se trompe manifestement sur son sens et sa portée, ou encore lorsque, en se fondant sur les éléments recueillis, elle en tire des constatations insoutenables (<ref-ruling> consid. 2.3 p. 266 et les arrêts cités).
2.2. Dans son arrêt, le Tribunal cantonal a effectivement reproché au recourant d'avoir omis de déclarer, dans sa demande d'autorisation de séjour, la procédure pénale dont il faisait l'objet. Ainsi, dans le cadre de l'examen de la durée du premier séjour en Suisse de l'intéressé (avant qu'il ne soit extradé), les juges précédents ont relevé que le séjour avait été de trois ans mais que cette durée devait être relativisée car le recourant " avait pu obtenir une autorisation de séjour en omettant de mentionner la condamnation, certes non encore exécutoire à cette époque mais déjà confirmée en appel, dont il avait fait l'objet en France "; puis, les juges ont conclu que le séjour ne pouvait être qualifié de long.
Il ressort de ce qui précède que le Tribunal cantonal n'a pas constaté les faits de façon manifestement inexacte puisqu'il signale, d'une part, que la condamnation n'était pas entrée en force et que, d'autre part, le recourant ne l'avait pas mentionnée dans sa demande de séjour en 2008.
Avec son grief, le recourant ne critique pas, en réalité, l'établissement des faits par les juges précédents, mais il leur reproche d'avoir pris en compte ces éléments dans leur subsomption. Il s'en prend dès lors à l'appréciation juridique des faits et soulève ainsi une question de droit qui sera examinée ci-dessous.
3.
Le litige porte sur la question de savoir si c'est à bon droit que le Tribunal cantonal a refusé d'octroyer au recourant une autorisation de séjour, au motif qu'il représentait une menace pour l'ordre public suisse au sens de l'<ref-law>.
3.1. Le droit de séjour et d'accès à une activité économique est garanti aux ressortissants des Etats signataires en vertu de l'<ref-law> (cf. aussi art. 2 et 6 annexe I ALPC).
Comme l'ensemble des droits conférés par l'Accord, le droit de demeurer en Suisse, respectivement le droit d'entrer dans ce pays, ne peut être limité que par des mesures d'ordre ou de sécurité publics, au sens de l'<ref-law> (cf. <ref-ruling> consid. 5.3 p. 125 s.; <ref-ruling> consid. 3.4 p. 12 s.).
Conformément à la jurisprudence rendue en rapport avec cette disposition, les limites posées au principe de la libre circulation des personnes doivent s'interpréter de manière restrictive. Ainsi, le recours par une autorité nationale à la notion d' "ordre public " pour restreindre cette liberté suppose, en dehors du trouble de l'ordre social que constitue toute infraction à la loi, l'existence d'une menace réelle et d'une certaine gravité affectant un intérêt fondamental de la société (<ref-ruling> consid. 5.3 p. 125 s.; arrêt 2C_319/2015 du 10 septembre 2015 consid. 5.3). Il faut procéder à une appréciation spécifique du cas, portée sous l'angle des intérêts inhérents à la sauvegarde de l'ordre public, qui ne coïncide pas obligatoirement avec les appréciations à l'origine des condamnations pénales. Autrement dit, celles-ci ne sont déterminantes que si les circonstances les entourant laissent apparaître l'existence d'une menace actuelle et réelle, d'une certaine gravité pour l'ordre public (cf. <ref-ruling> consid. 5.3 p. 125 s.; <ref-ruling> consid. 4.2 p. 20). Il n'est pas nécessaire d'établir avec certitude que l'étranger commettra d'autres infractions à l'avenir pour prendre une mesure d'éloignement à son encontre; inversement, ce serait aller trop loin que d'exiger que le risque de récidive soit nul pour que l'on renonce à une telle mesure (<ref-ruling> consid. 4.3.1 p. 186). En réalité, ce risque ne doit pas être admis trop facilement et il faut l'apprécier en fonction de l'ensemble des circonstances du cas, en particulier au regard de la nature et de l'importance du bien juridique menacé, ainsi que de la gravité de l'atteinte qui pourrait y être portée. L'évaluation de ce risque sera d'autant plus rigoureuse que le bien juridique menacé est important.
Dans un arrêt récent invoqué par le recourant (arrêt 2C_406/2014 du 2 juillet 2015), le Tribunal fédéral a nié l'existence d'une menace actuelle et réelle quant à un ressortissant de l'UE qui avait été condamné à 6 ans de privation de liberté pour homicide par dol éventuel commis lors d'une conduite à très grande vitesse (rodéo routier). Les expertises psychologiques avaient alors conclu à l'absence de risque de récidive; de plus, l'autorité cantonale en matière de circulation routière avait restitué son permis de conduire à l'intéressé sous condition d'équiper son véhicule d'une boîte noire. Pour le surplus, la situation personnelle, professionnelle et sociale de l'intéressé plaidait également en faveur du refus de révoquer l'autorisation d'établissement (cf. aussi arrêt 2C_453/2015 du 10 décembre 2015 concernant un rodéo routier mais où l'étranger n'était pas ressortissant européen).
3.2. Le recourant a été condamné, en France, à une peine de cinq ans d'emprisonnement, dont trente mois avec sursis, pour homicide involontaire. Puis, arrivé en Suisse, alors qu'il s'était déjà vu infliger définitivement cette lourde peine, il a récidivé et a été condamné, le 20 novembre 2009, à une peine pécuniaire de 20 jours-amende avec sursis et à une amende de 1'000 fr., puis, à nouveau, le 2 décembre 2010, à 40 jours-amende et à une amende de 1'000 fr. notamment pour conduite en état d'ébriété qualifiée et excès de vitesse; cette dernière sanction se rapportait à des faits s'étant déroulés à quatre dates différentes. Après avoir été extradé et avoir purgé sa peine en France, le recourant est revenu en Suisse en juillet 2013 et le 5 novembre 2014, une peine pécuniaire de 60 jours-amende, ainsi qu'une amende de 600 fr., ont sanctionné une nouvelle conduite en état d'ébriété et une contravention à la loi sur les stupéfiants. Il lui a en outre été reproché d'avoir mis son véhicule automobile à disposition d'une personne n'étant pas en état de le conduire.
La condamnation à une peine de cinq ans de privation de liberté, dont une partie était ferme, pour homicide par négligence est un élément important dans la pesée et l'appréciation de l'ensemble des circonstances pour décider de l'octroi d'une autorisation de séjour au recourant. Cependant, au regard de l'<ref-law>, n'est pas tant décisive l'importance de la peine que l'incapacité du recourant à améliorer son comportement en matière de circulation routière et sa propension à commettre régulièrement les mêmes erreurs (les trois condamnations susmentionnées se rapportent à sept infractions différentes), soit rouler en état d'ébriété et à une vitesse excessive. La difficulté à s'amender est d'autant plus frappante que l'intéressé a commis des infractions à son retour en Suisse, alors qu'il avait été extradé et incarcéré pour l'homicide par négligence causé en France. Il a, de cette façon, démontré son incapacité à apprendre de ses erreurs. En outre, comme l'a soulevé le Tribunal cantonal, ces récidives ont eu lieu alors qu'une interdiction de conduire avait été prononcée en France pour une durée minimale de dix ans (le recourant ayant obtenu un permis de conduire suisse en sollicitant l'échange de son permis de conduire norvégien). Le recourant souligne que, le 6 mai 2014, le Service des automobiles a décidé de lui retirer son permis de conduire pour une durée indéterminée, mais d'au moins 24 mois à compter du 20 février 2014. Même si le recourant ne peut actuellement plus conduire, ce retrait de permis n'est de loin pas une garantie contre le risque de récidive, puisqu'il s'est déjà vu retirer le permis, avant cette dernière sanction administrative, à quatre reprises et qu'il a, chaque fois, commis de nouvelles infractions une fois son permis récupéré. Atteste au demeurant de la gravité de la situation, la condition posée à l'éventuelle révocation du retrait de permis, soit une expertise réalisée auprès de l'Unité de médecine et de psychologie du trafic. De plus, les infractions reprochées apparaissent objectivement graves, dès lors que la conduite en état d'ébriété compromet indubitablement la sécurité routière et met en danger la vie du conducteur et celle des autres usagers de la route (<ref-ruling> consid. 5.5.1 p. 127). Finalement, la psychothérapie entreprise par le recourant est un élément positif, au regard de sa situation, mais on ne saurait en inférer une diminution du risque de récidive, compte tenu de sa capacité à commettre de nouvelles infractions après chaque condamnation encourue.
Il faut encore signaler que le cas du recourant se distingue de celui faisant l'objet de l'arrêt 2C_406/2014 susmentionné (cf. consid. 3.1), dont il se réclame. En effet, dans cette affaire, d'une part, les expertises psychologiques avaient conclu à l'absence de risque de récidive et, d'autre part, l'autorité cantonale en matière de circulation routière avait restitué le permis de conduire à l'intéressé à condition qu'il équipe son véhicule d'une boîte noire.
Il découle de ce qui précède que le recourant représente une menace réelle, actuelle et suffisamment grave au sens de l'<ref-law>.
3.3. Le refus d'octroi d'une autorisation de séjour respecte au surplus le principe de proportionnalité. Le recourant est arrivé en Suisse en septembre 2008, soit à l'âge de 21 ans, en provenance de France, pays où il a terminé sa scolarité. Il a vécu dans notre pays jusqu'à son extradition en novembre 2011, soit un séjour d'environ trois ans et non de sept comme allégué par l'intéressé. Cette durée ne saurait être qualifiée de longue. Sa famille vit également en Suisse. Sa mère et ses frère et soeur lui apportent certainement un soutien précieux au regard de ses difficultés psychologiques (diagnostic de bipolarité) dont l'absence pourrait constituer un élément déstabilisant. Cet aspect doit néanmoins être nuancé puisque, avant son arrivée en Suisse en 2008, le recourant vivait loin de sa famille. Quant à la psychothérapie entreprise, l'intéressé pourra la poursuivre dans son pays.
L'arrêt attaqué mentionne que le recourant " semble " exercer une activité lucrative dans notre pays et le recours se contente d'indiquer que cette activité pour une " société anonyme familiale " participe à son équilibre. Même si cette société est sise en Suisse, on ne voit pas ce qui pourrait empêcher l'intéressé de travailler pour elle depuis la France, en s'installant dans la région frontalière si nécessaire. On relèvera encore que le cas du recourant diffère de l'arrêt invoqué (cf. consid. 3.1) aussi sur ce point, puisque le jeune homme en cause dans cette affaire était né en Suisse, y avait grandi et n'avait pas conservé de liens avec son pays d'origine la Grèce (à part la maîtrise orale du grec).
En conclusion, les graves faits reprochés au recourant et la lourde peine subie conduisent à faire primer l'intérêt public à l'éloigner de Suisse sur l'intérêt privé de celui-ci à y demeurer. La limitation à la libre circulation du recourant respecte le principe de proportionnalité et, compte tenu de ce qui précède, est conforme à l'Accord.
4.
Le recours doit ainsi être rejeté, dans la mesure où il est recevable.
Succombant, le recourant doit supporter les frais judiciaires (<ref-law>). Il n'est pas alloué de dépens (art. 68 al. 1 et 3 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est rejeté dans la mesure où il est recevable.
2.
Les frais judiciaires, arrêtés à 2'000 fr., sont mis à la charge du recourant.
3.
Le présent arrêt est communiqué à la mandataire du recourant, au Service de la population et au Tribunal cantonal du canton de Vaud, Cour de droit administratif et public, ainsi qu'au Secrétariat d'Etat aux migrations.
Lausanne, le 3 février 2016
Au nom de la IIe Cour de droit public
du Tribunal fédéral suisse
Le Président : Zünd
La Greffière : Jolidon


facts:
Faits :
A.
A._ travaillait pour le compte de l'entreprise B._ et, à ce titre, était affiliée à la Caisse de pensions B._ (ci-après: la caisse de pensions). Engagée à 100 %, elle a diminué son taux d'occupation à 90 % dès le 1er janvier 2001 puis a été placée en retraite anticipée partielle (à un taux de 50 %) pour raisons médicales et mise au bénéfice d'une rente d'invalidité (d'un taux équivalent) versée par la caisse de pensions depuis le 1er novembre 2002. Elle a aussi obtenu des prestations de l'Office de l'assurance-invalidité pour le canton de Vaud (ci-après: l'office AI; un quart de rente du mois de septembre à celui de décembre 2001, une rente entière du 1er janvier au 31 août 2002 et un quart de rente à partir du 1er septembre 2002 reposant sur un statut mixte [active: 90 % et ménagère: 10 %]; décision du 18 septembre 2003). Absente de son travail depuis le 13 novembre 2003, elle a finalement été licenciée puis placée en retraite anticipée totale, toujours pour motifs médicaux, et mise au bénéfice d'une rente entière d'invalidité versée par l'institution de prévoyance depuis le 1er septembre 2005.
Au terme d'une procédure de révision, par décision du 15 février 2013, l'office AI a alloué à l'assurée (considérée comme une personne active à 100 %) une demi-rente à compter du 1er décembre 2010. La caisse de pensions a informé l'intéressée que ses prestations seraient diminuées de moitié dès le 1er mai 2013 compte tenu de la décision de l'office AI (lettre du 19 mars 2013). A._ a vainement exprimé son désaccord.
B.
Saisie le 25 octobre 2013 d'une demande par laquelle l'assurée concluait à ce que ses prestations soient fixées en fonction d'un taux d'invalidité de 100 %, la Cour des assurances sociales du Tribunal cantonal du canton de Vaud l'a rejetée (jugement du 15 juillet 2015).
C.
L'intéressée interjette un recours en matière de droit public et un recours constitutionnel subsidiaire contre ce jugement dont elle requiert l'annulation. Elle reprend les mêmes conclusions qu'auparavant. Elle a également produit de nombreux documents à l'appui de son écriture et, après l'échéance du délai de recours, a rectifié son mémoire puis déposé un nouveau rapport médical.

considerations:
Considérant en droit :
1.
1.1. Le recours en matière de droit public (au sens des <ref-law>) peut être formé pour violation du droit (circonscrit par les art. 95 et 96 LTF). Interjeté dans les délais et formes légales, ce recours est recevable. En revanche, en raison de son caractère subsidiaire, le recours constitutionnel également rejeté par la recourante n'est pas recevable (<ref-law>).
1.2. Le Tribunal fédéral applique le droit d'office (<ref-law>). Il n'est limité ni par l'argumentation de la partie recourante ni par la motivation de l'autorité précédente. Il statue sur la base des faits établis par celle-ci (<ref-law>), mais peut les rectifier et les compléter d'office si des lacunes et des erreurs manifestes apparaissent d'emblée (<ref-law>). En principe, il n'examine que les griefs motivés (<ref-law>), surtout s'ils portent sur la violation des droits fondamentaux (<ref-law>). Il ne peut pas aller au-delà des conclusions des parties (<ref-law>). Le recourant peut critiquer la constatation des faits qui ont une incidence sur le sort du litige seulement s'ils ont été établis en violation du droit ou de manière manifestement inexacte (<ref-law>).
2.
Est foncièrement litigieux - comme en première instance - le bien-fondé de la réduction des prestations d'invalidité servies par la caisse de pensions intimée à la recourante. L'acte attaqué cite les dispositions légales et règlementaires, ainsi que les principes jurisprudentiels indispensables à la résolution du litige. Il suffit d'y renvoyer.
3.
3.1. L'assurée fait d'abord grief au tribunal cantonal d'avoir contrevenu au règlement de prévoyance, plus particulièrement d'avoir méconnu l'application de certaines dispositions pertinentes. Si elle admet s'être vu reconnaître une "invalidité consécutive à l'incapacité de gain" au sens de l'art. 39 al. 3 de l'Avenant n° 1 (valable dès le 1er janvier 2004) au Plan de prévoyance selon le système de la primauté des prestations (valable dès le 1er janvier 2002), comme l'a constaté la juridiction cantonale, elle semble en revanche reprocher à cette dernière d'avoir entériné la réduction de ses prestations en écartant indûment l'appréciation de l'office AI, qui établirait l'absence d'amélioration de sa situation médicale, au profit de celui du Service médical de la Confédération. Elle cite en outre la disposition relative aux droits acquis (art. 68 al. 1 du Plan de prévoyance évoqué).
3.2. Cette argumentation n'est pas pertinente.
3.2.1. Premièrement, l'art. 39 al. 3 de l'Avenant n° 1 évoqué, disposition règlementaire appliquée par le tribunal cantonal (cf. consid. 5c p. 13 du jugement entrepris) quoi qu'en dise l'assurée, autorisait la caisse de pensions intimée à se prononcer sur la base d'une évaluation émanant soit de son médecin-conseil, soit de l'office AI. Invoquer l'éviction de l'avis médical de l'office AI au profit de celui du Service médical de la Confédération est donc vain puisque le recours à l'un ou l'autre est prévu par le règlement de prévoyance.
3.2.2. Deuxièmement, contrairement à ce qu'allègue la recourante (cf. consid. 3.1), les premiers juges ont entériné la réduction de moitié des prestations d'invalidité versées par l'institution de prévoyance en se fondant sur les considérations médicales à la base de la décision de l'office AI, dont ils ont considéré qu'elles n'étaient pas valablement remises en question par les documents produits devant eux (cf. consid. 6c p. 15-16 du jugement entrepris). Ils ont effectivement constaté que l'assurée disposait encore, depuis 2002, d'une capacité résiduelle de travail de 50 % dans son activité habituelle. Ils ont en outre relevé que rien ne s'opposait à ce que les prestations soient réduites de moitié à partir du 1er mai 2013 dès lors que les dispositions règlementaires prévoyaient que la rente d'invalidité devait être versée tant que durait l'incapacité d'exercer une activité lucrative (art. 52 du Règlement de prévoyance de la Caisse de pensions B._, valable entre le 1er janvier 2010 et le 31 juillet 2013) et que, selon la jurisprudence, une institution de prévoyance pouvait en tout temps réviser une rente d'invalidité sans qu'il y ait besoin d'une modification notable au sens de l'<ref-law>. Le raisonnement de la recourante échoue donc à démontrer une violation des dispositions règlementaires pertinentes.
3.2.3. La disposition relative aux droits acquis évoquée par l'assurée ne lui est en outre d'aucune utilité dès lors qu'une rente d'invalidité ne saurait être considérée comme acquise puisqu'elle est liée à un état de santé qui est toujours susceptible d'évoluer (concernant la notion de droits acquis en matière de rente d'invalidité de la prévoyance professionnelle, cf. arrêt du Tribunal fédéral des assurances B 60/99 du 25 avril 2000 consid. 3c in: SVR 2000 BVG n° 12 p. 57).
3.2.4. On ajoutera que la tentative de la recourante de démontrer une aggravation de sa situation médicale par l'existence d'une demande de révision AI interjetée le 26 août 2015 ainsi que le dépôt céans d'un nouveau document médical n'est pas pertinente car, dans le cadre d'un litige en matière de prévoyance professionnelle, l'état de fait déterminant soumis à l'examen du Tribunal fédéral est celui qui s'est produit jusqu'à la date du jugement cantonal (cf. <ref-ruling> consid. 1.2 p. 79) et le rapport médical déposé céans est un nouveau moyen de preuve prohibé au sens de l'<ref-law>.
4.
4.1. L'assurée semble ensuite invoquer une violation de son droit d'être entendue et du devoir d'instruction d'office de l'autorité judiciaire en lien avec l'existence d'un dossier constitué par le Service médical de la Confédération, médecin conseil de l'employeur, dont elle n'aurait pas eu connaissance avant. Elle produit ce dossier et soutient en outre qu'il s'agit d'un moyen de preuve dont il faut tenir compte selon l'<ref-law>.
4.2. Cette argumentation n'est d'aucune utilité à la recourante. Selon l'<ref-law>, les faits nouveaux et les preuves nouvelles sont prohibés devant le Tribunal fédéral, à moins de résulter de la décision de l'autorité précédente. Dans ce contexte, un recourant ne peut alléguer des faits, ni produire des moyens de preuve qu'il a omis de présenter à l'autorité précédente alors qu'il le pouvait et devait en discerner l'importance (cf. arrêts 4A_18/2010 du 15 mars 2010 consid. 2.1 non publié in <ref-ruling>; 9C_144/2015 du 17 juillet 2015 consid. 5.3.1). En l'occurrence, le dossier du Service médical de la Confédération produit en instance fédérale est une preuve nouvelle ou un ensemble de preuves nouvelles prohibées au sens de l'<ref-law> qui ne peuvent être prises en compte céans. L'assurée aurait effectivement pu requérir et produire ces documents devant le tribunal cantonal dès lors que l'existence du dossier en question ressortait clairement de certains documents qu'elle détenait déjà (cf. p. ex. lettre du 6 juillet 2005 du Service médical de la Confédération à l'employeur dans lequel il est fait référence à d'autres courriers). Elle ne saurait par ailleurs reprocher aux premiers juges d'avoir violé son droit d'être entendue et leur devoir d'établir les faits pertinents d'office. En effet, un juge peut renoncer à accomplir certains actes d'instruction sans que cela n'entraîne une quelconque violation du devoir d'administrer les preuves nécessaires (cf. art. 61 let. c LPGA) ou plus généralement une violation du droit d'être entendu (cf. arrêt 8C_15/2009 consid. 3.2, in SVR 2010 IV n° 42 p. 132), s'il est convaincu, en se fondant sur une appréciation consciencieuse des preuves (cf. <ref-ruling> consid. 3a p. 352), que certains faits présentent un degré de vraisemblance prépondérante (cf. <ref-ruling>, consid. 5.3 p. 186 et les références) et que d'autres mesures probatoires ne pourraient plus modifier cette appréciation (sur l'appréciation anticipée des preuves en général, cf. <ref-ruling> consid. 3 p. 157; <ref-ruling> consid. 2 p. 428).
5.
5.1. La recourante reproche enfin aux premiers juges de ne pas avoir examiné le fait qu'elle avait accepté de bonne foi une offre de mise à la retraite anticipée à 50 % puis à 100 %. Elle considère que l'employeur avait pris un engagement sur lequel il ne pouvait plus revenir sous peine de violer les règles de la bonne foi.
5.2. Ce grief n'est pas fondé. Selon la jurisprudence, pour que le principe de la protection de la bonne foi s'applique, il faut notamment qu'une autorité soit intervenue dans une situation concrète à l'égard de personnes déterminées (cf. <ref-ruling> consid. 6.2 p. 538). Or seule une institution de prévoyance - et non l'employeur - peut revêtir la qualité d'autorité au sens de cette jurisprudence et prendre des engagements en ce qui concerne les prestations qu'elle verse. En l'occurrence, la caisse de pensions intimée a toujours fait état d'une rente d'invalidité et n'a jamais pris d'engagement quant à une durée illimitée de la prestation versée. L'utilisation des termes "retraite anticipée pour raisons médicales" par l'employeur ou le médecin-conseil de celui-ci n'y change rien.
6.
Vu l'issue du litige, les frais judiciaires seront supportés par l'assurée (<ref-law>) qui n'a pas droit à des dépens (<ref-law>). La caisse de pensions intimée ne peut non plus prétendre des dépens (<ref-law>).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours constitutionnel subsidiaire est irrecevable.
2.
Le recours en matière de droit public est rejeté.
3.
Les frais judiciaires, arrêtés à 800 fr., sont mis à la charge de la recourante.
4.
Le présent arrêt est communiqué aux parties, au Tribunal cantonal du canton de Vaud, Cour des assurances sociales, et à l'Office fédéral des assurances sociales.
Lucerne, le 12 mai 2016
Au nom de la IIe Cour de droit social
du Tribunal fédéral suisse
La Présidente : Glanzmann
Le Greffier : Cretton


facts:
Sachverhalt:
A.
Mit Entscheid vom 12. Juni 2015 bestätigte das Obergericht des Kantons Uri den Einspracheentscheid des Amtes für Arbeit und Migration Uri vom 28. März 2014, worin ein Anspruch auf Nachzahlung von Arbeitslosenentschädigung des A._, geboren 1979, in Zusammenhang mit in den Monaten Juni und Juli 2007 geleistetem Zivildienst verneint wurde, indem das Amt die Abrechnungen über die Arbeitslosenentschädigung für die Monate Juni und Juli 2007 aufgrund der verwirkten Ansprüche auf eine Entschädigung gestützt auf die Erwerbsersatzordnung (EO) als definitiv ansah. Mit Urteil vom 19. Oktober 2015 wies das Bundesgericht die dagegen erhobene Beschwerde in öffentlich-rechtlichen Angelegenheiten ab.
B.
Mit Eingabe vom 3. Dezember 2015 ersucht A._ um Revision, Erläuterung oder Berichtigung des Urteils 8C_554/2015 vom 19. Oktober 2015 und beantragt im Wesentlichen "Es ist zu begründen inwieweit/wieso Zivilschutz mit dem Zivildienst und das 'Ende des Einsatzes' und dem 'Ende des Dienstes' gleichgesetzt wird." "Die Abgrenzung und Bedeutung zwischen Geltendmachen versus Geldendmachen und Einreichen ist Erklärungs-bedürftig." "Die Gegenpartei hat die entsprechende Differenzzahlung zu leisten."

considerations:
Erwägungen:
1.
1.1. Urteile des Bundesgerichts erwachsen am Tag ihrer Ausfällung in Rechtskraft (<ref-law>). Eine nochmalige Überprüfung der einem Urteil des Bundesgerichts zu Grunde liegenden Streitsache ist grundsätzlich ausgeschlossen. Das Gericht kann auf seine Urteile nur zurückkommen, wenn einer der in den <ref-law> abschliessend aufgeführten Revisionsgründe vorliegt. Ein solcher Revisionsgrund ist ausdrücklich geltend zu machen, wobei es nicht genügt, dessen Vorliegen zu behaupten. Der geltend gemachte Revisionsgrund ist im Revisionsgesuch unter Angabe der Beweismittel anzugeben und es ist aufzuzeigen, weshalb er gegeben und inwiefern deswegen das Dispositiv des früheren Urteils abzuändern sein soll (SVR 2014 UV Nr. 22 S. 70, Urteil 8F_14/2013 E. 1.1).
1.2. Ist das Dispositiv eines bundesgerichtlichen Entscheids unklar, unvollständig oder zweideutig, stehen seine Bestimmungen untereinander oder mit der Begründung im Widerspruch oder enthält es Redaktions- oder Rechnungsfehler, so nimmt das Bundesgericht auf schriftliches Gesuch einer Partei oder von Amtes wegen die Erläuterung oder Berichtigung vor (<ref-law>).
2.
2.1. Der Gesuchsteller beruft sich im Revisionsbegehren auf das Willkürverbot und den Grundsatz von Treu und Glauben (<ref-law>). In den Ausführungen übt er - soweit diese verständlich sind - ausschliesslich appellatorische Kritik an den dem Urteil 8C_554/2015 vom 19. Oktober 2015 zugrunde liegenden Sachverhaltsfeststellungen und den rechtlichen Würdigungen. Damit enthält das Gesuch keine Revisionsgründe im Sinne der <ref-law>.
2.2. Überdies bleibt unklar, was der Gesuchsteller erläutert oder berichtigt haben will. Die diesbezüglichen Vorbringen betreffen weder das Dispositiv oder einen Widerspruch zwischen diesem und der Begründung noch geht es dabei um einen Redaktions- oder Rechnungsfehler. Dass in Erwägung 3 des Urteils 8C_554/2015 vom 19. Oktober 2015 versehentlich von geleistetem "Zivilschutz" statt von "Zivildienst" gesprochen wird, ändert daran nichts. Da der Gesuchsteller somit auch keinen Erläuterungs- oder Berichtigungsgrund im Sinne von <ref-law> vorzubringen vermag, ist auf das Gesuch insgesamt nicht einzutreten.
3.
Die Gerichtskosten sind dem Ausgang des Verfahrens entsprechend dem Gesuchsteller aufzuerlegen (<ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Auf das Revisions- bzw. Erläuterungs- oder Berichtigungsgesuch wird nicht eingetreten.
2.
Die Gerichtskosten von Fr. 500.- werden dem Gesuchsteller auferlegt.
3.
Dieses Urteil wird den Parteien, dem Staatssekretariat für Wirtschaft (SECO) und dem Obergericht des Kantons Uri, Verwaltungsrechtliche Abteilung, schriftlich mitgeteilt.
Luzern, 26. Januar 2016
Im Namen der I. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Maillard
Die Gerichtsschreiberin: Polla


facts:
Sachverhalt:
A.
Der Gemeinderat Birmensdorf setzte am 27. Juli 1992 den amtlichen Quartierplan Sonnhalde fest (nachstehend: Quartierplan). Dessen technischer Bericht bestimmt in Ziff. 4.2:
"Die Neuzuteilung Kat.-Nr. 2808 der Politischen Gemeinde ist nicht überbaubar und dient als öffentlich zugänglicher Ort mit Aussicht über das Dorf der gesamten Bevölkerung. Das Grundstück wird verkleinert und der bestehenden Topographie (Hangkante) angepasst."
Dem technischen Bericht des Quartierplans ist eine Grundeigentümertabelle angehängt, welche die Parzelle Kat.-Nr. 2802 als "Aussichtsgrundstück" bezeichnet.
Am 22. Januar 2014 verkaufte die Gemeinde Birmensdorf (nachstehend: Gemeinde) einen 125 m2 grossen Teil der Parzelle Kat.-Nr. 2808 an B.D._ und C.D._ (nachstehend: Bauherren). Dieser Parzellenteil bildet heute zusammen mit dem ehemaligen Grundstück aKat.-Nr. 2806 die Parzelle Kat.-Nr. 4007 (nachstehend: Bauparzelle). Diese befindet sich in der Wohnzone W1 und ist im südlichen Teil mit einem Einfamilienhaus überbaut.
Mit Beschluss vom 7. September 2015 erteilte der Gemeinderat Birmensdorf den Bauherren unter Auflagen und Bedingungen die Bewilligung, auf der Bauparzelle ein zweites Einfamilienhaus zu errichten. Das nördlich der Bauparzelle gelegene Grundstück Nr. 3807 steht im Eigentum von A._. Dieser erhob gegen die Baubewilligung Rekurs, den das Baurekursgericht des Kantons Zürich mit Entscheid vom 10. Juni abwies. Eine dagegen von A._ eingereichte Beschwerde wies das Verwaltungsgericht des Kantons Zürich mit Urteil vom 20. Dezember 2016 ab.
B.
A._ (Beschwerdeführer) erhebt Beschwerde in öffentlich-rechtlichen Angelegenheiten mit den Anträgen, das Urteil des Verwaltungsgerichts vom 20. Dezember 2016 und die Baubewilligung des Gemeinderats Birmensdorf vom 7. September 2015 seien aufzuheben.
Auf Antrag des Beschwerdeführers erkannte das Bundesgericht der Beschwerde mit Präsidialverfügung vom 22. Februar 2017 die aufschiebende Wirkung zu.
Das Verwaltungsgericht und der Gemeinderat Birmensdorf beantragen, die Beschwerde abzuweisen, soweit darauf einzutreten sei. B.D._ und C.D._ (Beschwerdegegner) schliessen auf Abweisung der Beschwerde.

considerations:
Erwägungen:
1.
1.1. Gegen den kantonal letztinstanzlichen Endentscheid des Verwaltungsgerichts im Bereich des Baurechts steht die Beschwerde in öffentlich-rechtlichen Angelegenheiten grundsätzlich offen (<ref-law>; <ref-ruling> E. 2 S. 356).
Der Beschwerdeführer hat am vorinstanzlichen Verfahren teilgenommen und ist als Eigentümer einer Parzelle in unmittelbarer Nähe des Baugrundstücks zur Beschwerde legitimiert (<ref-law>). Da auch die weiteren Sachurteilsvoraussetzungen gegeben sind, ist auf die Beschwerde grundsätzlich einzutreten.
1.2. Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann geltend gemacht werden, der angefochtene Entscheid verletze Bundesrecht, Völkerrecht oder kantonale verfassungsmässige Rechte (Art. 95 lit. a, b und c BGG). Die Verletzung des übrigen kantonalen Rechts kann abgesehen von hier nicht relevanten Ausnahmen gemäss <ref-law> vor Bundesgericht nicht gerügt werden; zulässig ist jedoch die Rüge, die Anwendung dieses Rechts führe zu einer Verletzung von Bundesrecht, namentlich des verfassungsmässigen Willkürverbots (<ref-ruling> E. 2 S. 149 f.). Nach der Praxis des Bundesgerichts verstösst ein Entscheid gegen dieses Verbot, wenn er im Ergebnis offensichtlich unhaltbar ist, weil er zum Beispiel eine Norm oder einen unumstrittenen Rechtsgrundsatz krass verletzt. Dass eine andere Lösung ebenfalls als vertretbar erscheint, genügt nicht (<ref-ruling> E. 2.2 S. 72 mit Hinweisen).
2.
2.1. Gemäss dem Planungs- und Baugesetz des Kantons Zürich vom 7. September 1975 (PBG) können Aussichtslagen und Aussichtspunkte Schutzobjekte sein (§ 203 Abs. 1 lit. b PBG). Über die Schutzobjekte erstellen die für Schutzmassnahmen zuständigen Behörden Inventare (§ 203 Abs. 2 PBG). Staat, Gemeinden sowie jene Körperschaften, Stiftungen und selbstständige Anstalten des öffentlichen und des privaten Rechts, die öffentliche Aufgaben erfüllen, haben in ihrer Tätigkeit dafür zu sorgen, dass Schutzobjekte geschont und, wo das öffentliche Interesse an diesen überwiegt, ungeschmälert erhalten bleiben (§ 204 Abs. 1 PBG). Nach § 1 der kantonalen Natur- und Heimatschutzverordnung des Kantons Zürich vom 20. Juli 1977 (KNHV) besteht die Pflicht, gemäss § 204 PBG Schutzobjekte zu schonen und zu erhalten, ohne förmliche Unterschutzstellung oder Aufnahme in ein Inventar und ist namentlich beim Erteilen von Bewilligungen zu beachten, soweit der Behörde dabei Ermessensfreiheit zusteht. Nach § 205 PBG erfolgt der Schutz durch Massnahmen des Planungsrechts (lit. a.), Verordnung (lit. b.), Verfügung (lit. c) und Vertrag (lit. d).
2.2. Im kantonalen Verfahren machte der Beschwerdeführer geltend, Ziff. 4.2 des technischen Berichts des Quartierplans stelle eine Massnahme des Planungsrechts zum Schutz der Parzelle aKat.-Nr. 2808 als Aussichtslagen und Schutzobjekte gemäss § 203 Abs. 1 lit. b PBG dar.
2.3. Das Baurekursgericht prüfte in seinem Entscheid vom 10. Juni 2016, ob das streitbetroffene Gelände trotz fehlender Aufnahme in ein Inventar eine schutzwürdige Aussichtslage darstelle. Es führte dazu in E. 5 im Wesentlichen aus, gemäss dem am 1. November 2006 revidierten Zonenplan sei der nördlich des Baugrundstücks verlaufende ca. 300 m lange Weg mit einem Aussichtsschutz belegt. Eine zusätzliche Zuweisung des Grundstück aKat.-Nr. 2808 sei nicht erfolgt und auch nicht nötig gewesen, weil keine Anhaltspunkte für dessen Schutzwürdigkeit bestünden. Wie der Augenschein gezeigt habe, habe die Geländefläche keinen erheblichen landschaftlichen Reiz und sei daher nicht als besonderes Aussichtsgebiet zu betrachten. Um als Schutzobjekt im Sinne von § 203 Abs. 1 lit. b PBG gelten zu können, müsste die Geländefläche klarerweise einen bedeutend grösseren Eigen- und Stellenwert haben. Das öffentliche Interesse an einer Unterschutzstellung sei auch deshalb gering, da die Fernsicht über das Dorf nicht nur am betreffenden Standort, sondern auch an anderen Stellen entlang des Weges und in der nahen Umgebung möglich sei. Demnach bestehe mangels Schutzwürdigkeit auch kein Anlass, die Baubewilligung aufzuheben und die Gemeinde zu verpflichten, ein Unterschutzstellungsverfahren in Gang zu setzen.
2.4. Das Verwaltungsgericht ging ebenfalls davon aus, in materieller Hinsicht fehlten Anhaltspunkte für eine Schutzwürdigkeit der fraglichen Parzelle, und verwies zur Begründung auf die E. 5 des Entscheids des Baurekursgerichts.
2.5. Der Beschwerdeführer macht geltend, mit diesem Verweis habe die Vorinstanz sein rechtliches Gehör verletzt. Er habe im vorinstanzlichen Verfahren konkret und eingehend aufgezeigt, dass die Ausführungen in Erwägung 5 des Entscheids des Baurekursgerichts unhaltbar seien. Bei dieser Ausgangslage habe die Vorinstanz nicht einfach auf diese Erwägungen verweisen dürfen.
2.6. Aus dem Anspruch auf rechtliches Gehör gemäss <ref-law> wird die Verpflichtung der Gerichte abgeleitet, ihre Entscheide zu begründen. Die Begründung muss kurz die Überlegungen nennen, von denen sich das Gericht hat leiten lassen und auf die sich sein Entscheid stützt. Nicht erforderlich ist hingegen, dass sich der Entscheid mit allen Parteistandpunkten einlässlich auseinandersetzt und jedes einzelne Vorbringen ausdrücklich widerlegt. Es genügt, wenn der Entscheid gegebenenfalls sachgerecht angefochten werden kann (<ref-ruling> E. 4.3.2 S. 436 mit Hinweisen).
2.7. Die Vorinstanz brachte mit ihrem Verweis auf die E. 5 des Entscheids des Baurekursgerichts zum Ausdruck, dass sie diese Erwägung als überzeugend und die daran geübte Kritik des Beschwerdeführers als unbegründet erachtete. Dies erlaubte ihm eine sachgerechte Anfechtung des vorinstanzlichen Entscheids, weshalb eine Verletzung der Begründungspflicht zu verneinen ist.
2.8. Vor Bundesgericht legt der Beschwerdeführer nicht dar, inwiefern die von der Vorinstanz übernommene Meinung des Baurekursgerichts, die Bauparzelle sei als Aussichtslage nicht schützenswert, unhaltbar sein soll, was gestützt auf die Akten auch nicht ersichtlich ist. Demnach durfte die Vorinstanz willkürfrei davon ausgehen, die nicht als Schutzobjekt inventarisierte Bauparzelle könne mangels Schutzwürdigkeit nicht als Schutzobjekt im Sinne von § 203 lit. b PBG qualifiziert werden. Damit verfiel die Vorinstanz entgegen der Meinung des Beschwerdeführers auch nicht in Willkür, wenn sie Ziff. 4.2 des technischen Berichts des Quartierplans nicht als Zuerkennung der Schutzwürdigkeit gemäss § 203 Abs. 1 lit. b PBG verstand.
3.
3.1. Die Vorinstanz nahm sodann an, Ziff. 4.2 des technischen Berichts des Quartierplans könne keine planungsrechtliche Schutzmassnahme im Sinne von § 205 lit. a PBG/ZH darstellen, weil für den planerischen Aussichtsschutz gemäss § 75 PBG ein Zonenplaneintrag erforderlich sei und die Bauparzelle im Zonenplan der Gemeinde weder ganz noch teilweise als Aussichtspunkt vermerkt sei.
3.2. Der Beschwerdeführer macht geltend, die vorinstanzliche Annahme, planerische Massnahmen für Schutzobjekte im Sinne von § 203 Abs. 1 lit. a PBG erforderten gemäss § 75 PBG einen Eintrag in der BZO, sei unhaltbar.
3.3. Auf diese Rüge ist nicht einzutreten, weil die nicht als Schutzobjekt inventarisierte Bauparzelle nach dem Gesagten mangels Schutzwürdigkeit kein Schutzobjekt im Sinne von § 203 Abs. 1 lit. b PBG bilden kann. Die Frage, ob zum Schutz eines solchen Schutzobjekts ein Eintrag im Zonenplan der Gemeinde erforderlich wäre, ist daher nicht entscheiderheblich. Gleiches gilt bezüglich der vorinstanzlichen Erwägung, Ziff. 4.2 des technischen Berichts des Quartierplans könne mangels der Erfüllung der Anforderungen gemäss § 10 Abs. 1 KNHV nicht als Schutzverfügung im Sinne von § 205 lit. c PBG qualifiziert werden. Auf die daran geübte Kritik des Beschwerdeführers ist daher ebenfalls nicht einzutreten.
4.
4.1. Sodann bringt der Beschwerdeführer vor, er habe in der Verwaltungsgerichtsbeschwerde vom 6. Juli 2016 und in der Replik vom 26. September 2016 vorgebracht, das Bauvorhaben hätte selbst dann nicht zugelassen werden dürfen, wenn das Grundstück aKat.-Nr. 2808 kein Schutzobjekt darstellen würde, weil es als Aussichtsgrundstück dem Gemeingebrauch gewidmet worden sei und es nie eine formelle Entwidmung gegeben habe. Mit diesem Einwand habe sich die Vorinstanz nicht auseinandergesetzt, was sein rechtliches Gehör verletze.
4.2. Zwar trifft zu, dass die Vorinstanz sich nicht ausdrücklich zum Einwand der Widmung und der fehlenden formellen Entwidmung äusserte. Dagegen führte das Baurekursgericht in seinem Entscheid vom 10. Juni 2016 aus, der Hinweis im technischen Bericht zum Quartierplan, dass das Grundstück Kat.-Nr. 2808 nicht überbaubar sei und der gesamten Bevölkerung als öffentlich zugänglicher Ort mit Aussicht über das Dorf diene, stelle keinen förmlichen Verwaltungsakt dar, mit dem das Grundstück der Öffentlichkeit gewidmet worden sei. Demnach bedürfe die Beendigung des Gemeingebrauchs keiner Entwidmung, die mit förmlichem Verwaltungsakt zu erfolgen habe. Indem die Vorinstanz den Entscheid des Baurekursgerichts bestätigte, brachte sie erkennbar zum Ausdruck, dass sie dieser Erwägung beipflichtete. Der Beschwerdeführer war daher in der Lage das vorinstanzliche Urteil sachgerecht anzufechten, weshalb insoweit eine Verletzung der Begründungspflicht zu verneinen ist (vgl. E. 2.5 hievor).
5. Nach dem Gesagten ist die Beschwerde abzuweisen, soweit darauf einzutreten ist. Bei diesem Ausgang des Verfahrens sind die Gerichtskosten dem unterliegenden Beschwerdeführer aufzuerlegen (<ref-law>). Die nicht anwaltlich vertretenen privaten Beschwerdegegner haben praxisgemäss keinen Anspruch auf eine Parteientschädigung.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 3'000.-- werden dem Beschwerdeführer auferlegt.
3.
Dieses Urteil wird den Parteien, dem Gemeinderat Birmensdorf und dem Verwaltungsgericht des Kantons Zürich, 1. Abteilung, 1. Kammer, schriftlich mitgeteilt.
Lausanne, 22. Mai 2017
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Das präsidierende Mitglied: Karlen
Der Gerichtsschreiber: Gelzer


facts:
Sachverhalt:
A.
D._ ist Eigentümer der in der Dorfzone D, Bauzone zweiter Etappe, liegenden Parzelle Nr. "..." in Mönthal, die unter anderem mit einer ehemaligen Soldatenstube (Gebäude Nr. "...") überbaut war. Er beantragte am 30. Oktober 2014 die Erteilung einer Baubewilligung für die Errichtung eines Ersatzbaus, wogegen A. und B. C._ Einwendungen erhoben.
Der Gemeinderat Mönthal wies mit Beschluss vom 29. Juni 2015 die Einwendungen ab und erteilte die Baubewilligung unter Bedingungen und Auflagen. Die dagegen von A. und B. C._ erhobene Beschwerde hiess das Departement Bau, Verkehr und Umwelt des Kantons Aargau am 12. Oktober 2015 teilweise gut und ergänzte die Baubewilligung mit einer Auflage. Die von ihnen beim Verwaltungsgericht des Kantons Aargau eingereichte Beschwerde wies dieses mit Urteil vom 27. Mai 2016 ab, soweit es darauf eintrat.
B.
Mit als Beschwerde bezeichneter Eingabe vom 5. Juli 2016 gelangen A. und B. C._ an das Bundesgericht und beantragen, die Baubewilligung vom 29. Juni 2015 sei aufzuheben. Zudem werde vom Regierungsrat des Kantons Aargau verlangt, dass der Bauzonenplan der Gemeinde Mönthal innert kurzer Zeit überarbeitet werde.
D._ (Beschwerdegegner), der Gemeinderat und das Verwaltungsgericht schliessen auf Abweisung der Beschwerde. Das DBU hat sich nicht vernehmen lassen. Die Beschwerdeführer halten in der Replik sinngemäss an ihren Anträgen fest.

considerations:
Erwägungen:
1.
1.1. Angefochten ist ein letztinstanzlicher kantonaler Endentscheid über eine Baubewilligung (Art. 82 lit. a, Art. 86 Abs. 1 lit. d BGG). Dagegen steht die Beschwerde in öffentlich-rechtlichen Angelegenheiten nach Art. 82 ff. BGG offen; ein Ausschlussgrund ist nicht gegeben (Art. 83 BGG). Die Beschwerdeführer haben am vorinstanzlichen Verfahren teilgenommen und weisen als Eigentümer von direkt angrenzenden bzw. nur durch eine Strasse vom Baugrundstück getrennten Parzellen in räumlicher Hinsicht eine spezifische Beziehungsnähe zum Streitgegenstand auf, weshalb sie zur Beschwerdeführung befugt sind (Art. 89 Abs. 1 BGG). Da die übrigen Sachurteilsvoraussetzungen zu keinen Bemerkungen Anlass geben, ist auf die Beschwerde grundsätzlich einzutreten.
1.2. Die Beschwerdeführer beantragen in ihrer Rechtsschrift die Aufhebung der durch den Gemeinderat erteilten Baubewilligung für den Ersatzbau. Dabei übersehen sie aber, dass diese im Rahmen des Streitgegenstands durch das Urteil des Verwaltungsgerichts ersetzt worden ist (Devolutiveffekt); sie gilt als inhaltlich mitangefochten (<ref-ruling> E. 1.4 S. 144).
1.3. Unzulässig ist hingegen der Sachantrag, der Bauzonenplan der Gemeinde Mönthal sei innert kurzer Zeit zu überarbeiten, da er über das im angefochtenen Entscheid geregelte Rechtsverhältnis hinausgeht (Art. 99 Abs. 2 BGG; <ref-ruling> E. 3.4.2 S. 365). Streitgegenstand bildet einzig die Frage, ob die Baubewilligung für den Ersatzbau der inzwischen abgebrochenen Soldatenstube zu Recht erteilt worden ist. Auf die mit der Zonenplanrevision zusammenhängenden Vorbringen, wonach gemäss geltendem Recht Zwischenzonen unzulässig seien, zu denen die streitbetroffene wie auch eine der Parzellen der Beschwerdeführer zählten, ist nachfolgend deshalb nicht einzugehen. Ohne Beachtung bleiben müssen ferner die Ausführungen privatrechtlicher Natur, weil dafür im Baubewilligungsverfahren grundsätzlich kein Raum besteht (vgl. <ref-ruling> E. 5.2 S. 139 f.).
1.4. Die Beschwerde ist hinreichend zu begründen; andernfalls wird darauf nicht eingetreten. Gemäss Art. 42 Abs. 2 BGG ist in der Rechtsschrift in gedrängter Form darzulegen, inwiefern der angefochtene Akt Recht verletzt. Die Beschwerdeführer müssen sich wenigstens kurz mit den Erwägungen des angefochtenen Entscheids auseinandersetzen. Rein appellatorische Kritik ohne Bezug zum angefochtenen Entscheid genügt nicht. Zwar wendet das Bundesgericht das Recht grundsätzlich von Amtes wegen an (Art. 106 Abs. 1 BGG). Das setzt aber voraus, dass auf die Beschwerde überhaupt eingetreten werden kann, diese also wenigstens die Begründungsanforderungen von Art. 42 Abs. 2 BGG erfüllt. Strengere Anforderungen gelten, wenn die Verletzung von Grundrechten - einschliesslich der willkürlichen Anwendung von kantonalem oder kommunalem Recht - geltend gemacht wird. Dies prüft das Bundesgericht nur insoweit, als eine solche Rüge in der Beschwerde vorgebracht und begründet worden ist (Art. 106 Abs. 2 BGG). Das Bundesgericht prüft in diesem Sinne nur klar und detailliert erhobene und, soweit möglich, belegte Rügen (<ref-ruling> E. 2 S. 88 ff.; <ref-ruling> E. 2.1 f. S. 245 f.; je mit Hinweisen).
Die Beschwerdeführer verweisen an zahlreichen Stellen der Rechtsschrift auf ihre umfangreichen Beschwerdebeilagen, ohne darzutun, inwiefern diese Unterlagen ihre Kritik am angefochtenen Entscheid belegen sollen. Auf das Rechtsmittel kann insoweit nicht eingetreten werden. Angesichts des Verfahrensausgangs kann auch dahingestellt bleiben, ob die beigebrachten Dokumente als unzulässige Noven aus dem Recht zu weisen wären (Art. 99 Abs. 1 BGG).
2.
2.1. Die Beschwerdeführer bemängeln im Wesentlichen, bei der unterdessen widerrechtlich abgebrochenen Soldatenstube habe es sich um eine Baracke bzw. um eine Fahrnisbaute gehandelt, die keine Altbaute im Sinne von § 6 Abs. 5 der Bau- und Nutzungsordnung der Gemeinde Mönthal vom 27. November 1998 (nachfolgend: BNO) darstelle. Das Bauvorhaben sei als Neubaute zu qualifizieren, weshalb der ordentliche Grenzabstand von 4 m gegenüber der Nachbarparzelle und der Strasse eingehalten werden müsse.
Unter dem Titel "Dorfzone D" regelt § 6 Abs. 5 BNO namentlich, dass bestehende Altbauten erneuert, umgebaut, ausgebaut (Umnutzung) und angebaut werden dürften. Der Abbruch und Wiederaufbau auf dem bisherigen Grundriss mit gleicher First- und Traufhöhe ist möglich. Für Neubauten exklusive Ersatzbauten gilt unter anderem ein minimaler Grenzabstand von 4 m.
2.2. Unstreitig ist, dass der Beschwerdegegner die Soldatenstube noch während des laufenden Rechtsmittelverfahrens unrechtmässig abgebrochen hat. Das Verwaltungsgericht erwog indes, da das Gebäude im Zeitpunkt des Baugesuchs und der Erteilung der Baubewilligung noch bestanden habe, sei es möglich gewesen, zu überprüfen, ob die First- und Traufhöhe der geplanten Ersatzbaute mit jener der Altbaute übereinstimmten. Bei einer teleologischen Auslegung von § 6 Abs. 5 BNO, nach der das Dorfbild zu erhalten sei, könnten Bauten wie die vorliegende, die diese Kriterien einhielten, von den baupolizeilichen Vorschriften - im Gegensatz zu Neubauten - abweichen.
2.3. Das Bundesgericht prüft die Auslegung und Anwendung von kantonalem oder kommunalem Recht nur unter dem Gesichtspunkt der Willkür (vgl. E. 1.4 hiervor). Willkür in der Rechtsanwendung liegt vor, wenn der angefochtene Entscheid offensichtlich unhaltbar ist, mit der tatsächlichen Situation in klarem Widerspruch steht, eine Norm oder einen unumstrittenen Rechtsgrundsatz krass verletzt oder in stossender Weise dem Gerechtigkeitsgedanken zuwiderläuft; dass eine andere Lösung ebenfalls als vertretbar oder gar zutreffender erscheint, genügt nicht (<ref-ruling> E. 2.1 S. 18 f.; 167 E. 2.1 S. 168).
Die Beschwerdeführer zeigen in ihrer Rechtsschrift nicht auf, inwiefern die Begründung im angefochtenen Entscheid oder das Urteil selbst im Ergebnis rechts- bzw. verfassungswidrig sein soll. Vielmehr beschränken sie sich darauf, den bereits im kantonalen Verfahren eingenommenen Rechtsstandpunkt erneut zu bekräftigen, ohne auf die Ausführungen im angefochtenen Entscheid einzugehen. Damit vermögen sie den Begründungsanforderungen nicht zu genügen.
2.4. Das Verwaltungsgericht führte ferner aus, auch wenn die Soldatenstube bei ihrer Errichtung als Provisorium geplant gewesen sei, habe das Gebäude über 70 Jahre bestanden und zum Erscheinungsbild von Mönthal gehört, weshalb es als Altbaute gemäss § 6 Abs. 5 BNO qualifiziert werden könne. Die Beschwerdeführer räumen in ihrer Eingabe an das Bundesgericht ein, dass die Soldatenstube zweifellos nach Massgabe des damaligen Rechts rechtmässig erstellt worden sei. Sie machen aber geltend, es handle sich dabei nicht um eine Altbaute im Sinne von § 6 Abs. 5 BNO, sondern um eine Fahrnisbaute. Insofern zweifeln sie den Charakter der Soldatenstube als Baute an. Soweit sie damit überhaupt den vorerwähnten Begründungsanforderungen zu genügen vermögen, verkennen sie, dass Fahrnisbauten, die über nicht unerhebliche Zeiträume ortsfest verwendet werden, bereits von Bundesrechts wegen als (bewilligungspflichtige) Bauten gelten (<ref-ruling> E. 5.2 S. 140; <ref-ruling> E. 3 S. 259). Auch das Gesetz über Raumentwicklung und Bauwesen des Kantons Aargau (BauG/AG; SAR 713.100) zählt in § 6 Abs. 1 lit. c Fahrnisbauten wie Hütten, Buden, Baracken, Kioske, Waren- und andere Automaten, Schaukästen und dergleichen zu den Bauten und Anlagen im Sinne des Gesetzes (vgl. RALPH VAN DEN BERGH, in: Kommentar zum Baugesetz des Kantons Aargau, 2013, N. 8 zu § 6 BauG/AG). Dass vorliegend die Soldatenstube bereits seit Jahrzehnten ortsfest verwendet worden ist, stellen die Beschwerdeführer zu Recht nicht in Abrede. Die Vorinstanz ist somit nicht in Willkür verfallen, wenn sie das Gebäude als Altbaute im Sinne von § 6 Abs. 5 BNO einstufte. Insoweit durfte von der Einhaltung des Grenzabstands von 4 m für Neubauten abgesehen werden.
Soweit die Beschwerdeführer in diesem Zusammenhang vorbringen, die Soldatenstube habe nicht zum Dorfbild gehört, erschöpft sich ihr Einwand in rein appellatorischer Kritik am angefochtenen Entscheid, die nicht zu hören ist (vgl. E. 1.4 hiervor).
3.
Nach dem Ausgeführten erweist sich die Beschwerde als unbegründet. Sie ist abzuweisen, soweit darauf eingetreten werden kann. Bei diesem Verfahrensausgang tragen die Beschwerdeführer die Gerichtskosten (Art. 66 Abs. 1 und 5 BGG). Dem nicht anwaltlich vertretenen Beschwerdegegner steht praxisgemäss keine Entschädigung zu (Art. 68 Abs. 1 und 2 BGG; vgl. <ref-ruling> E. 4 S. 446).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 2'000.-- werden den Beschwerdeführern auferlegt.
3.
Es wird keine Parteientschädigung zugesprochen.
4.
Dieses Urteil wird den Parteien, dem Gemeinderat Mönthal, dem Departement Bau, Verkehr und Umwelt, und dem Verwaltungsgericht des Kantons Aargau, 3. Kammer, schriftlich mitgeteilt.
Lausanne, 3. November 2016
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Das präsidierende Mitglied: Merkli
Die Gerichtsschreiberin: Pedretti