facts:
Sachverhalt:
A.
Der 1977 geborene A._ arbeitete ab März 2006 bei der B._ AG als Lastwagenchauffeur und war bei der REVOR Sammelstiftung 2. Säule (nachfolgend: REVOR) berufsvorsorgeversichert. Am 31. März 2008 erfolgte die Auflösung des Arbeitsverhältnisses und der Austritt aus der Vorsorgeeinrichtung. Im Januar 2010 meldete sich A._ aufgrund psychischer Einschränkungen bei der Invalidenversicherung zum Leistungsbezug an. Die medizinischen Abklärungen ergaben insbesondere eine (rezidivierende) depressive Störung und akzentuierte Persönlichkeitszüge (vgl. psychiatrisches Gutachten vom 11. August 2012). Die IV-Stelle des Kantons Aargau sprach A._ nach Durchführung des Vorbescheidverfahrens mit Verfügung vom 24. Oktober 2012 ab 1. Oktober 2011 eine ganze Invalidenrente zu (Invaliditätsgrad: 90 %).
Die REVOR verneinte eine Leistungspflicht, weil sie den erforderlichen (engen) zeitlichen Zusammenhang zwischen der Arbeitsunfähigkeit während des Vorsorgeverhältnisses und der späteren Invalidität für unterbrochen hielt (Schreiben vom 10. Oktober 2012).
B.
Am 15. Januar 2015 erhob A._ Klage gegen die REVOR mit dem Rechtsbegehren, diese habe ihm ab 1. Oktober 2011 eine BVG-Invalidenrente sowie eine überobligatorische Rente zu entrichten. Mit Entscheid vom 10. März 2015 wies das Versicherungsgericht des Kantons Aargau die Klage ab.
C.
Mit Beschwerde in öffentlich-rechtlichen Angelegenheiten macht A._ geltend, der Entscheid vom 10. März 2015 sei aufzuheben und erneuert das vorinstanzliche Klagebegehren; eventualiter verlangt er die Rückweisung der Streitsache an die Vorinstanz zur Neubeurteilung. Sodann ersucht A._ um unentgeltliche Rechtspflege.

considerations:
Erwägungen:
1.
Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann u.a. die Verletzung von Bundesrecht gerügt werden (Art. 95 lit. a BGG). 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 (Art. 97 Abs. 1 BGG). Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Art. 105 Abs. 1 BGG). 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 (Art. 105 Abs. 2 BGG).
2.
2.1. Die Vorinstanz hat eine Leistungspflicht der Beschwerdegegnerin einerseits mit der Begründung verneint, dass vor Ende März 2008 (Ende des Vorsorgeverhältnisses) keine relevante Arbeitsunfähigkeit von mindestens 20 % gegeben war, die auf einem psychischen Leiden gründete. Andererseits hat sie erwogen, dass selbst bei Vorliegen einer relevanten Einschränkung von einem Unterbruch des engen zeitlichen Zusammenhanges zwischen der Arbeitsunfähigkeit während des Vorsorgeverhältnisses und der späteren Invalidität auszugehen ist, weil der Versicherte zwischenzeitlich für angepasste Tätigkeiten zu 100 % arbeits- und vermittlungsfähig war.
2.2. Eine Bindung der Vorsorgeeinrichtung (vgl. BGE 133 V 67 E. 4.3.2 S. 69; 130 V 270 E. 3.1 S. 273) an die Verfügung der IV-Stelle vom 24. Oktober 2012besteht unbestritten nicht.
2.3.
2.3.1. Für den Eintritt der Arbeitsunfähigkeit im Sinne von Art. 23 lit. a BVG ist die Einbusse an funktionellem Leistungsvermögen im bisherigen Beruf massgeblich; sie ist relevant, wenn sie mindestens 20 % beträgt und sich auf das Arbeitsverhältnis sinnfällig auswirkt oder ausgewirkt hat (SVR 2014 BVG Nr. 1 S. 1, 9C_98/2013 E. 4.1; SVR 2011 BVG Nr. 14 S. 51, 9C_297/2010 E. 2.1).
2.3.2. Die Leistungspflicht einer Vorsorgeeinrichtung für eine erst nach Beendigung des Vorsorgeverhältnisses eingetretene oder verschlimmerte Invalidität bedingt, dass zwischen der relevanten Arbeitsunfähigkeit und der nachfolgenden Invalidität ein enger sachlicher und zeitlicher Zusammenhang besteht (BGE 136 V 65 E. 3.1 S. 68). Letzterer setzt voraus, dass die versicherte Person nach Eintritt der Arbeitsunfähigkeit nicht während längerer Zeit, d.h. in der Regel während mindestens dreier Monate (vgl. Art. 88a Abs. 1 IVV), wieder (annähernd) vollständig arbeitsfähig war (Urteil 9C_656/2014 vom 16. Dezember 2015 E. 5.1.1 mit Hinweis), was sich nach der Arbeits (un) fähigkeit in einer der gesundheitlichen Beeinträchtigung angepassten zumutbaren Tätigkeit beurteilt (BGE 134 V 20 E. 5.3 S. 27; Urteil 9C_292/2008 vom 22. August 2008 E. 2.2.2).
2.4.
2.4.1. Entscheidungserhebliche Feststellungen der Vorinstanz zur Art des Gesundheitsschadens (Befund, Diagnose etc.) und zur Arbeitsfähigkeit, die Ergebnis einer Beweiswürdigung sind, binden das Bundesgericht, soweit sie nicht offensichtlich unrichtig sind oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruhen (E. 1). Dies gilt auch für den Zeitpunkt des Eintritts der Arbeitsunfähigkeit, deren Ursache zur Invalidität geführt hat (Art. 23 lit. a BVG; SVR 2008 BVG Nr. 31 S. 126, 9C_182/2007 E. 4.1.1). Frei zu prüfende Rechtsfrage ist dagegen, nach welchen Gesichtspunkten die Entscheidung über den Zeitpunkt des Eintritts einer rechtserheblichen Arbeitsunfähigkeit erfolgt (SVR 2013 BVG Nr. 49 S. 206, 9C_91/2013 E. 4.3.2 mit Hinweisen), und ob diese Entscheidung auf einer genügenden Beweislage beruht (Urteil 9C_752/2008 vom 9. April 2009 E. 1.2 und 2.3).
2.4.2. Eine Beweiswürdigung ist nicht bereits dann willkürlich (zum Begriff der Willkür: BGE 140 III 16 E. 2.1 S. 18 f. mit Hinweisen), wenn eine andere Lösung ebenfalls vertretbar erscheint oder gar vorzuziehen wäre, sondern erst dann, wenn der Entscheid offensichtlich unhaltbar ist, zur tatsächlichen Situation in klarem Widerspruch steht oder auf einem offenkundigen Fehler beruht (BGE 127 I 54 E. 2b S. 56, 135 V 2 E. 1.3 S. 4 f.).
3.
3.1. Die Vorinstanz hat festgestellt, aufgrund der medizinischen Akten sei zwar belegt, dass der Versicherte von Oktober 2007 bis maximal Ende März 2008 arbeitsunfähig gewesen sei. Allerdings sei ab dann bis im Dezember 2009/Januar 2010 überhaupt keine Arbeitsunfähigkeit aufgrund der psychischen Beschwerden dokumentiert und eine solche von Dauer sogar erst ab Oktober 2010 ausgewiesen.
Sodann ist den vorinstanzlichen Erwägungen zu entnehmen, der Versicherte habe nach der Kündigung im November 2007 als voll Vermittlungsfähiger bis zu seiner Abmeldung und somit während rund 19 Monaten (abgesehen von den Zwischenverdiensten) Taggelder der Arbeitslosenkasse bezogen.
3.2.
3.2.1. Aus der Verfügung des Amtes für Wirtschaft und Arbeit (AWA) vom 4. Januar 2008 geht klar hervor, dass die Arbeitsunfähigkeit des Versicherten von 50 % ab 29. Oktober 2007 (vgl. hausärztliches Zeugnis vom 14. November 2007) einzig dessen bisherige Tätigkeit als Chauffeur bei der B._ AG betrifft. Zwar ist dem psychiatrischen Bericht von med. pract. C._ und Dr. med. D._ vom 28. Juli 2009, worauf der Beschwerdeführer Bezug nimmt, zu entnehmen, dass die diagnostizierte depressive Störung (mittelgradige depressive Episode [ICD-10 F32.11]) (wohl) seit 2007 andauere. Dass der Versicherte aufgrund dieser Diagnose (für angepasste Tätigkeiten) arbeitsunfähig gewesen wäre, ist jedoch nicht ausgewiesen. Dagegen spricht insbesondere, dass ihm die behandelnde Psychiaterin med. pract. C._ noch im November 2007 keine Arbeitsunfähigkeit bescheinigte (vgl. Bericht über die Erstkonsultation vom 12. November 2007); später attestierte sie dem Beschwerdeführer lediglich eine kurzzeitige Einschränkung (50 %) für zwei Wochen, was nicht genügt (vgl. Eintrag Krankengeschichte vom 2. September 2009). Eine relevante Arbeitsunfähigkeit (80 bis 100 %) findet, wie die Vorinstanz festgestellt hat, erst ab 6. Oktober 2010 eine Stütze (vgl. psychiatrisches Gutachten von Dr. med. E._ vom 11. August 2012, S. 12; Bericht von lic. phil. F._ und Dr. med. G._ vom 14. Dezember 2010, S. 3). Davon ging im Übrigen auch med. pract. H._ vom Regionalen Ärztlichen Dienst (RAD) aus (vgl. Stellungnahme vom 15. August 2012). Soweit der Beschwerdeführer vorbringt, aus diesem Bericht könne "ohne Not" geschlossen werden, dass bereits seit 2007 eine relevante Arbeitsunfähigkeit vorgelegen habe, dringt er schon mit Blick auf die eingangs erwähnten Beweisgrundsätze nicht durch (E. 2.4.2).
3.2.2. Sodann hat das kantonale Gericht auch den Umstand, dass die ab Oktober 2008 und insbesondere 2009 angenommenen Beschäftigungen (Zwischenverdienste) des Versicherten (vgl. Auszug aus den Individuellen Konten) nur von kurzer Dauer waren, einlässlich gewürdigt. Es hat für entscheidwesentlich befunden, dass dieser unbestritten während langer Monate bei der Arbeitslosenversicherung als voll vermittlungsfähig galt. Eine willkürliche Beweiswürdigung ist auch darin nicht zu ersehen, zumal der Beschwerdeführer selber darlegt, er habe gegenüber der Arbeitslosenversicherung (fast) durchwegs erklärt, voll arbeitsfähig zu sein. Dass die kurzen Arbeitsverhältnisse (allein) auf seine psychische Verfassung zurückzuführen sein sollen, ist durch nichts belegt (Art. 42 Abs. 2 BGG) und stellt eine reine Behauptung dar; Weiterungen dazu erübrigen sich. Angesichts der klaren Aktenlage kann der Beschwerdeführer schliesslich auch aus der Rechtsprechung zum zeitlichen Konnex zwischen Arbeitsunfähigkeit und Invalidität bei Schubkrankheiten (vgl. Urteil 9C_126/2013 vom 13. August 2012 E. 4.1 mit Hinweisen), soweit es sich hier überhaupt um eine solche handelt, nichts zu seinen Gunsten ableiten.
3.3. Insgesamt hat die Vorinstanz den Gegebenheiten des konkreten Einzelfalles hinreichend Rechnung getragen und unter Berücksichtigung der relevanten Umstände eine korrekte Beweiswürdigung durchgeführt. Die vorinstanzliche Schlussfolgerung, wonach der enge zeitliche Zusammenhang zwischen der Arbeitsunfähigkeit des Versicherten und seiner späteren Invalidität aufgrund der zwischenzeitlich wiedererlangten Arbeitsfähigkeit für angepasste Tätigkeiten mit überwiegender Wahrscheinlichkeit als unterbrochen zu gelten hat (BGE 134 V 20 E. 5.3 S. 27), ist weder willkürlich noch sonstwie bundesrechtswidrig (E. 1). Vor diesem Hintergrund kann offen bleiben, ob während des Vorsorgeverhältnisses eine relevante Arbeitsunfähigkeit von 20 % vorlag oder nicht und ob ein enger sachlicher Zusammenhang besteht. Nach dem Gesagten erübrigt sich die Rückweisung der Sache an die Vorinstanz. Die Beschwerde ist unbegründet.
4.
Dem Ausgang des Verfahrens entsprechend hat der Beschwerdeführer grundsätzlich die Gerichtskosten zu tragen (Art. 66 Abs. 1 BGG). Seinem Gesuch um Gewährung der unentgeltlichen Rechtspflege kann jedoch entsprochen werden (Art. 64 BGG; BGE 125 V 201 E. 4a S. 202). Es wird indessen ausdrücklich auf Art. 64 Abs. 4 BGG hingewiesen, wonach die begünstigte Partei der Bundesgerichtskasse Ersatz zu leisten hat, wenn sie später dazu in der Lage ist.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Das Gesuch um unentgeltliche Rechtspflege wird gutgeheissen, und es wird dem Beschwerdeführer Rechtsanwalt Dr. Andreas Burren als Rechtsbeistand beigegeben.
3.
Die Gerichtskosten von Fr. 800.- werden dem Beschwerdeführer auferlegt, indes vorläufig auf die Bundesgerichtskasse genommen.
4.
Rechtsanwalt Dr. Andreas Burren wird aus der Bundesgerichtskasse eine Entschädigung von Fr. 2'800.- ausgerichtet.
5.
Dieses Urteil wird den Parteien, dem Versicherungsgericht des Kantons Aargau und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 2. Februar 2016
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Glanzmann
Der Gerichtsschreiber: Grünenfelder


facts:
Faits :
A.
A.a. Par contrat du 29 août 2000, Z._ a pris à bail un appartement de 2 pièces au 6 ème étage dans un immeuble à Genève, dont X._ SA a acquis la propriété par la suite. En dernier lieu, le loyer était de 635 fr. par mois, charges comprises.
Il a fourni une garantie de loyer de 1'650 fr. auprès de la Banque A._ le 20 août 2000.
Le locataire n'ayant pas payé le loyer et les charges de l'appartement pour le mois de septembre 2013, la bailleresse lui a signifié un avis comminatoire, puis le locataire ne s'étant pas acquitté du montant réclamé, ni d'ailleurs du loyer et des charges pour le mois d'octobre 2013, la bailleresse a résilié le bail pour le 30 novembre 2013.
A.b. A la suite de la résiliation, la bailleresse a appris que le locataire avait sous-loué l'appartement sans son autorisation.
Le sous-locataire a toutefois quitté les lieux, sans qu'une procédure d'évacuation ne doive être entreprise.
La bailleresse a repris possession de l'appartement au mois de mars 2014.
Le locataire doit encore à la bailleresse le montant de 3'175 fr.
A.c. La bailleresse a formé une réquisition de poursuite en réalisation de la garantie bancaire le 30 décembre 2014, poursuite qui a été notifiée au débiteur par publication dans la Feuille d'avis officielle.
La plainte déposée par le débiteur a été déclarée irrecevable par la Chambre de surveillance de la Cour de justice le 21 mai 2015 et le recours au Tribunal fédéral formé par le débiteur contre cette décision a été déclaré irrecevable le 20 juillet 2015.
B.
B.a. Z._ a formé une demande en libération, en sa faveur, de la garantie bancaire de 1'650 fr. devant la Commission de conciliation en matière de baux et loyers du canton de Genève le 21 mai 2015.
Lors de l'audience, le président de la commission a indiqué au demandeur que son adresse " Postlagernd 4005 Basel " ne satisfaisait pas aux exigences du CPC, mais celui-ci a refusé de rectifier sa demande, ne voulant pas indiquer son nom sur la boîte à lettres de sa compagne chez laquelle il loge, pour ne pas influencer de manière négative la procédure de divorce de cette dernière.
La Commission a déclaré la demande en paiement irrecevable et a rayé la cause du rôle par décision du 25 août 2015, l'adresse fournie ne respectant pas les exigences de l'art. 59 CPC et ce vice n'ayant pas été réparé malgré l'octroi d'un délai conformément à l'art. 132 CPC.
B.b. Par courrier du 9 septembre 2015, le demandeur a requis le réexamen de sa demande en libération de la garantie bancaire, manifestant son incompréhension face au refus de la commission d'accepter comme adresse valable la mention de poste restante " Postlagernd 4005 Basel " alors que le Tribunal fédéral avait considéré cette adresse comme valable dans une autre procédure. Ce courrier a été traité comme un recours.
Statuant le 4 avril 2016, la Cour de justice du canton de Genève a admis le recours et renvoyé la cause à la Commission de conciliation pour nouvelle décision.
C.
Contre cet arrêt, la bailleresse a interjeté un recours en matière civile et, subsidiairement, un recours constitutionnel au Tribunal fédéral le 9 mai 2016, concluant à sa réforme en ce sens que la demande en paiement est déclarée irrecevable. A l'appui de son recours en matière civile, elle invoque l'existence d'une question juridique de principe et liste une série de dispositions légales applicables à la question de l'obligation pour le demandeur d'indiquer une adresse valable, à laquelle il puisse notamment être ultérieurement poursuivi (art. 52, 59 al. 1, 62 al. 1, 130 al. 1, 132 al. 1, 202 al. 1 et 2, 221 al. 1 et 244 al. 1 CPC).
L'intimé n'a pas été invité à se déterminer.

considerations:
Considérant en droit :
1.
Le Tribunal fédéral examine d'office la recevabilité des recours qui lui sont soumis (ATF 139 V 42 consid. 1 p. 44; 139 III 252 consid. 1.1).
1.1. Le recours en matière civile au Tribunal fédéral n'est recevable que contre les décisions finales (art. 90 LTF), contre les décisions partielles (art. 91 LTF) et, sous réserve des cas visés par l'art. 92 LTF, contre les décisions incidentes (art. 93 al. 1 LTF) si celles-ci peuvent causer un préjudice irréparable (let. a) ou si l'admission du recours peut conduire immédiatement à une décision finale qui permet d'éviter une procédure probatoire longue et coûteuse (let. b). Cette réglementation est fondée sur des motifs d'économie de procédure, le Tribunal fédéral ne devant en principe s'occuper d'une affaire qu'une seule fois, lorsqu'il est certain que la partie recourante subit effectivement un dommage définitif (ATF 134 III 188 consid. 2.2).
1.2. A raison, la recourante ne se prévaut que de l'art. 93 al. 1 let. b LTF.
1.2.1. La première des deux conditions cumulatives mentionnées à l'art. 93 al. 1 let. b LTF est réalisée en l'espèce. En effet, si le Tribunal fédéral admettait le recours et retenait la solution inverse à celle retenue par la cour cantonale, il pourrait rendre immédiatement une décision finale en déclarant la demande irrecevable (cf. ATF 133 III 629 consid. 2.4.1).
1.2.2. Quant à la seconde condition posée par l'art. 93 al. 1 let. b LTF, elle suppose que la décision finale permette d'éviter une procédure probatoire longue et coûteuse. Il appartient à la partie recourante d'établir la réalisation de cette condition, sauf si elle découle manifestement de la décision attaquée ou de la nature de la cause; le recourant doit en particulier indiquer de manière détaillée quelles questions de fait sont encore litigieuses, quelles preuves - déjà offertes ou requises - devraient encore être administrées et en quoi celles-ci entraîneraient une procédure probatoire longue et coûteuse (ATF 133 III 629 consid. 2.4.2). Tout complément d'instruction entraîne nécessairement des frais et un prolongement de la procédure, de sorte qu'une telle mesure ne suffit pas en soi pour ouvrir le recours immédiat. La procédure probatoire, par sa durée et son coût, doit s'écarter notablement des procès habituels. Si l'administration des preuves doit se limiter à l'audition des parties, à la production de pièces et à l'interrogatoire de quelques témoins, un recours immédiat n'est pas justifié. Il en va différemment s'il faut envisager une expertise complexe, plusieurs expertises, l'audition de très nombreux témoins ou l'envoi de commissions rogatoires dans des pays lointains (arrêts 4A_436/2015 du 17 mai 2016 consid. 1.3.1; 4A_671/2014 du 6 mai 2015 consid. 1.5.1; 4A_464/2012 du 11 septembre 2012 consid. 2.2; 4A_143/2011 du 6 mai 2011 consid. 1.4.1 et les arrêts cités).
En l'espèce, la recourante soutient que la demande est irrecevable, faute pour le demandeur d'avoir indiqué son adresse. Si le Tribunal fédéral l'admettait dès maintenant, cela éviterait à la Commission de conciliation ou, en cas d'échec de la conciliation, au Tribunal des baux, de devoir instruire la demande sur la question des relations contractuelles (maintien, modification ou fin du contrat notamment), des mouvements financiers entre elles, du rôle du sous-locataire et des poursuites intentées par elles et de devoir examiner des pièces, entendre les parties et certains témoins. Ce faisant, elle ne démontre pas en quoi la procédure probatoire nécessitée par la demande litigieuse s'écarte notablement des procès habituels. On ne voit d'ailleurs pas en quoi une demande portant sur un montant de 1'650 fr. le serait. Selon la jurisprudence, un recours immédiat n'est pas justifié lorsque l'administration des preuves doit se limiter à entendre les parties, à leur permettre de produire des pièces et à procéder à l'interrogatoire de quelques témoins. La recourante le reconnaît d'ailleurs elle-même lorsqu'elle admet que l'instruction ne serait pas aussi longue et coûteuse que dans les situations citées par le Tribunal fédéral.
En tant qu'elle voudrait, avec une partie de la doctrine, que le Tribunal fédéral se montre souple dans l'examen de la réalisation de cette condition de la " procédure probatoire longue et coûteuse ", elle méconnaît que celui-ci se doit de suivre une ligne claire, de façon à assurer aux justiciables la prévisibilité de ses décisions en cette matière. Comme le montrent les récents arrêts cités ci-dessus, la jurisprudence suit une ligne stricte, le Tribunal fédéral ne devant en principe s'occuper d'une affaire qu'une seule fois, lorsqu'il est certain que la partie recourante subit effectivement un dommage définitif. On ne voit pas en quoi il devrait en aller autrement pour une affaire dont la valeur litigieuse est de 1'650 fr.
2.
Il s'ensuit que les recours doivent être déclarés irrecevables, aux frais de leur auteur (art. 66 al. 1 LTF). L'intimé n'ayant pas été invité à se déterminer, il n'y a pas lieu à allocation de dépens (art. 68 al. 1 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Les recours sont irrecevables.
2.
Les frais judiciaires, arrêtés à 1'000 fr., sont mis à la charge de la recourante.
3.
Il n'est pas alloué de dépens.
4.
Le présent arrêt est communiqué aux parties et à la Cour de justice du canton de Genève, Chambre des baux et loyers.
Lausanne, le 5 juillet 2016
Au nom de la Ire Cour de droit civil
du Tribunal fédéral suisse
La Présidente : Kiss
Le Greffier : Piaget

region: Federation

bge_label: non-critical

citation_label: non-critical


facts:
Sachverhalt:
A.
Die IV-Stelle des Kantons Zürich sprach dem 1965 geborenen A._ mit Verfügung vom 19. September 1996 eine ganze Invalidenrente ab 1. Oktober 1995 zu (Invaliditätsgrad von 100 %). Mit Verfügung resp. Mitteilungen vom 22. April 1997, 28. Juli 2000 und 25. November 2002 bestätigte sie einen unveränderten Invaliditätsgrad und Rentenanspruch. Im Dezember 2007 leitete sie ein weiteres Revisionsverfahren ein. In dessen Verlauf holte sie u.a. die Gutachten des Dr. med. B._, Facharzt für Orthopädische Chirurgie und Traumatologie des Bewegungsapparates, vom 29. August 2008, des Dr. med. C._, Facharzt für Psychiatrie und Psychotherapie, vom 6. April 2009 und des Dr. med. D._, Facharzt für Neurologie, vom 24. Juni 2009 ein. Mit Mitteilung vom 23. Juli 2009 bestätigte sie erneut einen unveränderten Invaliditätsgrad und Rentenanspruch.
Im September 2012 eröffnete die IV-Stelle wiederum ein Revisionsverfahren. Nach Abklärungen (insbesondere Begutachtung durch die MEDAS Ostschweiz; Expertise vom 26. April 2013), Durchführung des Vorbescheidverfahrens und Einstellung von begonnenen Eingliederungsmassnahmen hob sie die Rente mit Verfügung vom 3. Dezember 2014 wiedererwägungsweise auf Ende Januar 2015 auf.
B.
Die dagegen erhobene Beschwerde wies das Sozialversicherungsgericht des Kantons Zürich mit Entscheid vom 17. März 2016 ab.
C.
A._ lässt mit Beschwerde in öffentlich-rechtlichen Angelegenheiten beantragen, der Entscheid vom 17. März 2016 sei aufzuheben und es sei ihm weiterhin eine ganze Invalidenrente zuzusprechen. Ferner ersucht er um unentgeltliche Rechtspflege.
Die IV-Stelle schliesst auf Abweisung des Rechtsmittels. Das Bundesamt für Sozialversicherungen verzichtet auf eine Vernehmlassung.

considerations:
Erwägungen:
1.
Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann u.a. die Verletzung von Bundesrecht gerügt werden (Art. 95 lit. a BGG). 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 (Art. 97 Abs. 1 BGG). Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Art. 105 Abs. 1 BGG). 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 (Art. 105 Abs. 2 BGG).
2.
2.1.
2.1.1. Ändert sich der Invaliditätsgrad eines Rentenbezügers erheblich, so wird die Rente von Amtes wegen oder auf Gesuch hin für die Zukunft entsprechend erhöht, herabgesetzt oder aufgehoben (Art. 17 Abs. 1 ATSG [SR 830.1]). Anlass zur Rentenrevision gibt jede wesentliche Änderung in den tatsächlichen Verhältnissen seit Zusprechung der Rente (zum massgeblichen Vergleichszeitpunkt vgl. BGE 133 V 108 E. 5.4 S. 114), die geeignet ist, den Invaliditätsgrad und damit den Anspruch zu beeinflussen. Insbesondere ist die Rente bei einer wesentlichen Änderung des Gesundheitszustandes revidierbar. Weiter sind, auch bei an sich gleich gebliebenem Gesundheitszustand, veränderte Auswirkungen auf den Erwerbs- oder Aufgabenbereich von Bedeutung; dazu gehört die Verbesserung der Arbeitsfähigkeit aufgrund einer Angewöhnung oder Anpassung an die Behinderung. Hingegen ist die lediglich unterschiedliche Beurteilung eines im Wesentlichen gleich gebliebenen Sachverhalts im revisionsrechtlichen Kontext unbeachtlich (BGE 141 V 9 E. 2.3 S. 10 f. mit Hinweisen).
2.1.2. Nach Art. 53 Abs. 2 ATSG kann die IV-Stelle jederzeit auf formell rechtskräftige Verfügungen oder Einspracheentscheide zurückkommen, wenn diese zweifellos unrichtig sind und wenn ihre Berichtigung von erheblicher Bedeutung ist. Mit der gleichen (substituierten) Begründung kann die Beschwerdeinstanz die zunächst auf Art. 17 ATSG gestützte Rentenaufhebung schützen (SVR 2011 IV Nr. 20 S. 53, 9C_303/2010 E. 4; Urteil 9C_770/2015 vom 24. März 2016 E. 2.1). Die Wiedererwägung dient der Korrektur einer anfänglich unrichtigen Rechtsanwendung. Darunter fällt insbesondere eine Leistungszusprache aufgrund falscher Rechtsregeln bzw. ohne oder in unrichtiger Anwendung der massgeblichen Bestimmungen. Soweit ermessensgeprägte Teile der Anspruchsprüfung vor dem Hintergrund der Sach- und Rechtslage einschliesslich der Rechtspraxis im Zeitpunkt der rechtskräftigen Leistungszusprechung (BGE 125 V 383 E. 3 S. 389 f.) in vertretbarer Weise beurteilt worden sind, scheidet die Annahme zweifelloser Unrichtigkeit aber aus (BGE 141 V 405 E. 5.2 S. 414 f.; SVR 2014 IV Nr. 39 S. 137, 9C_121/2014 E. 3.2.1; Urteile 8C_680/2014 vom 16. März 2015 E. 3.1; 9C_427/2014 vom 1. Dezember 2014 E. 2.2).
2.2. Liegt in diesem Sinn ein Rückkommenstitel vor, gilt es grundsätzlich, mit Wirkung ex nunc et pro futuro einen rechtskonformen Zustand herzustellen. Dabei ist auf der Grundlage eines richtig und vollständig festgestellten Sachverhalts der Invaliditätsgrad im Zeitpunkt der Verfügung über die Herabsetzung oder Aufhebung einer Rente zu ermitteln (vgl. Art. 85 Abs. 2 in Verbindung mit Art. 88 bis Abs. 2 IVV; BGE 141 V 9 E. 2.3 S. 10 f.; Urteil 9C_173/2015 vom 29. Juni 2015 E. 2.2, je mit Hinweisen).
2.3. Ob die Verwaltung bei einer Rentenzusprache resp. -bestätigung (vgl. BGE 140 V 514 E. 5.2 S. 520) den Untersuchungsgrundsatz (vgl. Art. 43 Abs. 1 ATSG; BGE 132 V 93 E. 4 S. 99 f.) und andere bundesrechtliche Vorschriften beachtet hat, ist frei überprüfbare Rechtsfrage (BGE 132 V 393 E. 3.2 und 4 S. 397 ff.; Urteile 9C_765/2015 vom 21. April 2016 E. 3.3; 9C_882/2014 vom 23. Juni 2015 E. 3.2).
3.
3.1. Die Vorinstanz hat die Rentenbestätigung vom 23. Juli 2009 für zweifellos unrichtig gehalten. Gestützt auf das MEDAS-Gutachten vom 26. April 2013 hat sie festgestellt, der Versicherte sei in seiner angestammten Arbeit als (Hilfs-) Elektromonteur nicht mehr, hingegen in einer angepassten Tätigkeit uneingeschränkt arbeitsfähig. Weil daraus höchstens ein Invaliditätsgrad von 28 % resultiere und die Verwaltung genügend Eingliederungsmassnahmen an die Hand genommen habe, hat sie die Rentenaufhebung bestätigt.
3.2. Es besteht kein Grund für eine revisionsweise Rentenaufhebung (E. 2.1.1; vgl. MEDAS-Gutachten Ziff. 5.4.2, 6.4.2 und 8.2.2). Ausser der Wiedererwägung nach Art. 53 Abs. 2 ATSG fällt auch kein anderer Rückkommenstitel (vgl. Art. 53 Abs. 1 ATSG sowie lit. a Abs. 1 und 4 der am 1. Januar 2012 in Kraft getretenen Schlussbestimmungen zur 6. IV-Revision [erstes Massnahmenpaket] vom 18. März 2011 [AS 2011 5659]) in Betracht. Streitig und zu prüfen ist (zunächst) die zweifellose Unrichtigkeit (E. 2.1.2) der Rentenbestätigung vom 23. Juli 2009 als Voraussetzung für die umstrittene Rentenaufhebung.
3.3. Auch wenn die Verwaltung bei der ersten umfassenden Überprüfung des Rentenanspruchs die Grundsätze der Rechtsprechung von BGE 130 V 352 unbeachtet liess, ist die Mitteilung vom 23. Juli 2009 nur dann zweifellos unrichtig, wenn bei deren Erlass eine Rentenaufhebung oder -herabsetzung im Grundsatz zulässig war. Das setzt voraus, dass bereits damals entweder ein Revisions- oder ein Wiederwägungstatbestand (E. 2.1) vorlag. Die 2004 mit BGE 130 V 352 begründete (inzwischen durch BGE 141 V 281 überholte) Rechtsprechung bildete - wie auch der seit 1. Januar 2008 in Kraft stehende Art. 7 Abs. 2 ATSG (BGE 135 V 215 E. 7.3 S. 231) - für sich allein keinen Grund für die Herabsetzung oder Aufhebung einer laufenden Rente, etwa unter dem Titel der Anpassung an geänderte Rechtsgrundlagen (BGE 135 V 201 E. 7.3 S. 214; 215 E. 6.3 S. 228; vgl. auch BGE 141 V 585 E. 5.3 und 5.4 S. 588 f. hinsichtlich der Praxisänderung von BGE 141 V 281).
3.4.
3.4.1. In Bezug auf die Entwicklung des Sachverhalts seit der Rentenzusprache vom 19. September 1996 hat das kantonale Gericht festgestellt, im Juli 2009 habe in somatischer Hinsicht ein veränderter Gesundheitszustand (Besserung der Bandscheibenproblematik sowie neu aufgetretene Handverletzung) vorgelegen. Diesen Umstand hat es als Revisionsgrund betrachtet.
Aus der verbindlich (E. 1) festgestellten Veränderung des Sachverhalts kann indessen nicht direkt ein Revisionsgrund abgeleitet werden. Zusätzlich ist erforderlich, dass die festgestellte Veränderung erheblich ist, indem sie sich auf den Rentenanspruch auswirkt (E. 2.1.1). Das Bundesgericht kann die Sachverhaltsfeststellung diesbezüglich ergänzen (E. 1).
3.4.2.
3.4.2.1. Die im Sommer 2008 erlittene Handverletzung gab von vornherein keinen Anlass zur Rentenrevision: Besteht bereits Anspruch auf eine ganze Rente, ist deren Erhöhung nicht möglich; eine weitere gesundheitliche Verschlechterung ist daher nicht anspruchsrelevant.
3.4.2.2. Die Rentenzusprache und Annahme einer vollständigen und andauernden Arbeitsunfähigkeit beruhte im Wesentlichen auf Rückenbeschwerden. Was die "Besserung der Bandscheibenproblematik" anbelangt, so ergibt sich aus dem Gutachten des Dr. med. B._, dass "initial (...) sicher eine Diskushernie auf der linken Seite bestanden" habe, diese sich aber zurückgebildet habe, was ein bekanntes Phänomen sei. Gleichzeitig stellte er fest, radiologisch finde man für die Lendenwirbelsäule seit 1994 einen Verlauf mit "eigentlich keiner Befundänderung", und die ganze Schmerzsituation sei unverändert erhalten geblieben, ein morphologisches Korrelat fehle. Dr. med. D._ legte in seinem Gutachten überzeugend dar, dass bereits bei der Rentenzusprache "keine wirklich relevante organische Läsion" vorhanden und insbesondere im Zusammenhang mit der früher festgestellten Bandscheibenprotrusion keine Wurzelschädigung nachgewiesen worden war; die subjektiven Angaben des Exploranden waren wie ein objektiver (somatischer) Befund gewertet worden. Damit steht fest, dass das als invalidisierend erachtete Rückenleiden nie auf einem organischen Korrelat beruhte, sondern psychiatrisch zu erklären ist (vgl. auch die Einschätzungen des Dr. med. C._ und der MEDAS-Experten). Bei diesen Gegebenheiten stellt die (objektive) Rückbildung der früher vorhandenen Diskushernie resp. -protrusion keine anspruchsrelevante Verbesserung des Gesundheitszustandes dar.
3.4.2.3. Andere Anhaltspunkte für eine erhebliche Sachverhaltsänderung seit der Rentenzusprache bis zum Erlass der Mitteilung vom Juli 2009 sind nicht ersichtlich. Zu diesem Zeitpunkt war demnach kein Revisionsgrund gegeben.
3.5. In der Zeit vor BGE 130 V 352 akzeptierten die rechtsanwendenden Stellen bei Schmerzsyndromen und vergleichbaren psychosomatischen Leiden - um eine solche Beeinträchtigung geht es in concreto (E. 3.4.2.2) - häufig tel quel die Einschätzungen behandelnder Ärzte, welche sehr verbreitet von der Diagnose direkt auf Arbeitsunfähigkeit schlossen (BGE 141 V 281 E. 3.4.1.1 S. 291 mit Hinweisen). Bei der bereits 1996 erfolgten Rentenzusprache wurde der Anspruch vor dem Hintergrund der damaligen Rechtspraxis in vertretbarer Weise beurteilt, weshalb diesbezüglich auch die Annahme zweifelloser Unrichtigkeit resp. eine Wiedererwägung ausscheidet (E. 2.1.2).
3.6. Nach dem Gesagten (E. 3.4 und 3.5) war eine Rentenherabsetzung oder -aufhebung im Zeitpunkt der Bestätigung vom 23. Juli 2009 von vornherein unzulässig. Folglich war die entsprechende Mitteilung nicht zweifellos unrichtig. Somit sind auch in Bezug auf die am 3. Dezember 2014 verfügte Rentenaufhebung die notwendigen Voraussetzungen (E. 3.2) nicht erfüllt. Die Beschwerde ist begründet. Mit der Aufhebung des vorinstanzlichen Entscheids und der angefochtenen Verfügung hat es sein Bewenden.
4.
Dem Ausgang des Verfahrens entsprechend hat die Beschwerdegegnerin die Gerichtskosten zu tragen (Art. 66 Abs. 1 BGG) und dem Beschwerdeführer eine Parteientschädigung zu bezahlen (Art. 68 Abs. 2 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird gutgeheissen. Der Entscheid des Sozialversicherungsgerichts des Kantons Zürich vom 17. März 2016 und die Verfügung der IV-Stelle des Kantons Zürich vom 3. Dezember 2014 werden aufgehoben.
2.
Die Gerichtskosten von Fr. 800.- werden der Beschwerdegegnerin auferlegt.
3.
Die Beschwerdegegnerin hat die Rechtsvertreterin des Beschwerdeführers für das bundesgerichtliche Verfahren mit Fr. 2'800.- zu entschädigen.
4.
Die Sache wird zur Neuverlegung der Kosten und der Parteientschädigung des vorangegangenen Verfahrens an das Sozialversicherungsgericht des Kantons Zürich zurückgewiesen.
5.
Dieses Urteil wird den Parteien, dem Sozialversicherungsgericht des Kantons Zürich und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 13. September 2016
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Glanzmann
Die Gerichtsschreiberin: Dormann


facts:
Sachverhalt:
A.
Die A._ AG betreibt ein im Stahlbau, Metallbau und Wintergartenbau tätiges Unternehmen. Am 27. November 2015 ersuchte die Gesellschaft das Handelsgericht des Kantons Zürich um vorläufige Eintragung eines Bauhandwerkerpfandrechts auf dem Grundstück der B._ AG, Grundbuch Bl. xxx, Kataster Nr. yyy. Die Pfandsumme betrug ursprünglich Fr. 65'570.-- zuzüglich 5 % Zins und betrifft eine Werklohnschuld der C._ AG für Montagearbeiten, welche die A._ AG auf der besagten Liegenschaft gestützt auf einen Werkvertrag vom 28./30. April 2015 ausgeführt hatte. Das Handelsgericht entsprach dem Gesuch für eine Pfandsumme von Fr. 49'254.15, nachdem die A._ AG mitgeteilt hatte, dass ihr die C._ AG Fr. 16'315.85 überwiesen habe. Zugleich setzte das Handelsgericht der A._ AG eine Frist bis 21. März 2016, um eine Klage auf definitive Eintragung des Pfandrechts gegen die B._ AG anzuheben. Es wies ausserdem darauf hin, dass die Grundstückeigentümerin den vorläufigen Eintrag bei Säumnis löschen lassen könne (Urteil vom 18. Januar 2016, Dispositiv-Ziffern 1 und 3, in der Geschäfts-Nr. HE150520).
B.
B.a. Nachdem ihr die Klagefrist (Bst. A) verlängert worden war, reichte die A._ AG beim Handelsgericht am 7. April 2016 eine Klage ein. Das Verfahren wurde unter der Geschäftsnummer HG160078 erfasst. Das Rubrum der Klageschrift präsentiert sich wie folgt:
"Klage
in Sachen
A._ AG [Adresse, organschaftliche und prozessrechtliche Vertretung]
Klägerin
gegen
C._ AG [Adresse]
Beklagte 1
B._ AG [Adresse]
Eigentümerin Liegenschaft (Bauhandwerkerpfandrecht)
betreffend
Forderungsklage und definitive Eintragung eines Bauhandwerkerpfandrechts/Verfügung und Urteil des Handelsgerichts des Kantons Zürich vom 18. Januar 2016
Geschäfts-Nr. HE150520-O"
Die A._ AG verlangte, die "Beklagte zu verurteilen, der Klägerin CHF 49'254.15 zu bezahlen" (Ziffer 1) und ihr in der Betreibung Nr. zzz des Betreibungsamts D._ für den erwähnten Betrag zuzüglich Zins und inkl. Kosten des Zahlungsbefehls Rechtsöffnung zu erteilen (Ziffer 2). Weiter stellte sie das Begehren, das besagte Bauhandwerkerpfandrecht (s. Bst. A) zu ihren Gunsten "definitiv zu errichten bzw. einzutragen" (Ziffer 3) und das Grundbuchamt E._ richterlich anzuweisen, die Eintragung gemäss Ziffer 3 vorzunehmen (Ziffer 4).
B.b. Mit Verfügung vom 17. Mai 2016 forderte das Handelsgericht die B._ AG (unter Hinweis auf eine Verfügung vom 12. April 2016) als "Beklagte" im Verfahren Nr. HG160078 "betreffend Bauhandwerkerpfandrecht" auf, bis zum 22. August 2016 ihre Art. 222 Abs. 2 ZPO entsprechende Klageantwort einzureichen.
B.c. Am 17. Juni 2016 erliess das Handelsgericht im Verfahren HG160078 eine weitere Verfügung. Als "Beklagte" führte es neu die C._ AG auf; als Betreff des Verfahrens ist "Bauhandwerkerpfandrecht" vermerkt. In der Begründung hielt das Handelsgericht fest, dass gemäss der Klageschrift vom 7. April 2016 (s. Bst. B.a) die C._ AG ins Recht gefasst werde und nicht - "wie zunächst fälschlicherweise im Rubrum aufgeführt" - die "B._ AG"; dies sei "entsprechend zu berichtigen". In Ziffer 2 dieser Verfügung wird die B._ AG "darauf hingewiesen, dass sie nicht als Beklagte und auch sonst in keiner Weise am vorliegenden Prozess beteiligt ist". In Ziffer 3 nimmt ihr das Handelsgericht die mit Verfügung vom 17. Mai 2016 angesetzte Frist zur Klageantwort (Bst. B.b) ab, in Ziffer 4 fordert es sie auf, die Verfügungen vom 12. April 2016 und 17. Mai 2016 (Bst. B.b) samt des zugestellten Doppels der Klage vom 7. April 2016 (Bst. B.a) zurückzuschicken.
C.
C.a. Mit Eingabe vom 18. Juli 2016 ersuchte die B._ AG das Handelsgericht darum, das Grundbuchamt E._ anzuweisen, das mit Urteil vom 18. Januar 2016 vorläufig eingetragene Pfandrecht auf ihrer Liegenschaft (Bst. A) zu löschen, weil die A._ AG binnen erstreckter Frist keine Klage auf definitive Eintragung des Pfandrechts angehoben habe und daher säumig sei. Das Handelsgericht erfasste das Gesuchsverfahren unter der Prozessnummer HE160313. In ihrer Vernehmlassung vom 10. August 2016 schloss die A._ AG auf Abweisung des Gesuchs. Zugleich stellte sie den Antrag, die Verfügung des Handelsgerichts vom 17. Juni 2016 im Verfahren Nr. HG160078 (Bst. B.c) insofern zu korrigieren und neu zu erlassen, als die B._ AG bezüglich des Gesuchs um definitive Eintragung des Bauhandwerkerpfandrechts als Eigentümerin der Liegenschaft am Verfahren beteiligt ist.
C.b. In der Folge wies das Handelsgericht das Grundbuchamt E._ an, das vorläufig eingetragene Bauhandwerkerpfandrecht nach unbenutztem Ablauf der Rechtsmittelfrist vollumfänglich zu löschen. Auf das Gesuch der A._ AG betreffend die Korrektur der Verfügung vom 17. Juni 2016 trat das Handelsgericht nicht ein (Verfügung vom 29. August 2016 im Verfahren HE160313).
D.
D.a. Mit Beschwerde vom 29. September 2016 wendet sich die A._ AG (Beschwerdeführerin) an das Bundesgericht. Sie beantragt, die Verfügung vom 29. August 2016 aufzuheben, soweit das Handelsgericht die Löschung des Bauhandwerkerpfandrechts auf der Liegenschaft der B._ AG (Beschwerdegegnerin) anordnet. Weiter verlangt sie festzustellen, dass die Frage der Beteiligung der Beschwerdegegnerin am handelsgerichtlichen Verfahren HG160078 bzw. die Frage der Passivlegitimation der Beschwerdegegnerin im besagten Verfahren HG160078 vom zuständigen Gericht in einem Sachentscheid zu beurteilen ist.
D.b. Dazu eingeladen, sich zur Beschwerde vernehmen zu lassen, beantragt die Beschwerdegegnerin, die Beschwerde vollumfänglich abzuweisen (Eingabe vom 11. September 2017). Das Handelsgericht erklärte, auf eine Vernehmlassung zu verzichten (Schreiben vom 23. August 2017). Die Eingaben wurden der Beschwerdeführerin zur Wahrung des rechtlichen Gehörs zur Kenntnis gebracht.

considerations:
Erwägungen:
1.
Das Bundesgericht prüft von Amtes wegen und mit freier Kognition, ob die Eintretensvoraussetzungen gegeben sind (BGE 141 II 113 E. 1 S. 116; 141 III 395 E. 2.1 S. 397).
1.1. Die Beschwerdeführerin wehrt sich gegen die Verfügung, mit der das Handelsgericht die Löschung eines Bauhandwerkerpfandrechts anordnet, das für eine Pfandsumme von Fr. 49'254.15 vorläufig im Grundbuch eingetragen wurde. Das ist eine Zivilsache (Art. 72 Abs. 1 BGG) vermögensrechtlicher Natur, deren Streitwert die gesetzliche Mindestgrenze von Fr. 30'000.-- (Art. 74 Abs. 1 Bst. b BGG) übersteigt. Gegen Entscheide des Handelsgerichts als einziger kantonaler Vorinstanz steht die Beschwerde in Zivilsachen nach Massgabe von Art. 75 Abs. 2 Bst. b BGG offen (s. zur handelsrechtlichen Natur von Streitigkeiten um Bauhandwerkerpfandrechte BGE 138 III 471 E. 4 S. 479 f.). Von der Sache her beschlägt die Anordnung, mit der die Löschung des vorläufig eingetragenen Bauhandwerkerpfandrechts verfügt wird, dasjenige Rechtsbegehren im Hauptprozess, mit dem die Beschwerdeführerin die endgültige Eintragung ihres Bauhandwerkerpfandrechts verlangte (s. Sachverhalt Bst. B.a). Denn mit dieser Anordnung endet für die Beschwerdeführerin endgültig der Prozess als Streitgenossin im besagten Hauptsacheverfahren. Mithin liegt ein Teilentscheid im Sinne von Art. 91 BGG vor (vgl. BGE 135 III 212 E. 1.2.1 S. 217). Auf die rechtzeitig (Art. 100 Abs. 1 BGG) eingereichte Beschwerde ist einzutreten.
1.2. Die Beschwerde an das Bundesgericht ist ein reformatorisches Rechtsmittel (Art. 107 Abs. 2 BGG). Die rechtsuchende Partei darf sich grundsätzlich nicht darauf beschränken, die Aufhebung des angefochtenen Entscheids zu verlangen. Sie muss einen Antrag in der Sache stellen, also angeben, welche Punkte des kantonalen Entscheids sie anficht und inwiefern das Bundesgericht den angefochtenen Entscheid abändern soll. Ein blosser Aufhebungsantrag genügt hierzu nicht und macht die Beschwerde an sich unzulässig. Ausnahmsweise reicht ein blosser Rückweisungsantrag aus, wenn das Bundesgericht im Falle einer Gutheissung in der Sache naturgemäss nicht selbst entscheiden könnte (BGE 143 III 111 E. 1.2 S. 112; 134 III 235 E. 2 S. 236 f.; 134 III 379 E. 1.3 S. 383). Für die Auslegung der Rechtsbegehren kann das Bundesgericht die Begründung der Beschwerde heranziehen (BGE 136 V 131 S. 1.2 S. 136). Hier begnügt sich die Beschwerdeführerin in Ziffer 1 ihrer Rechtsbegehren damit, die Aufhebung der angefochtenen Verfügung vom 29. August 2016 zu beantragen. Auch wenn sie kein förmliches Begehren stellt, das Gesuch der Beschwerdegegnerin um Löschung des Bauhandwerkerpfandrechts vom 18. Juli 2016 (s. Sachverhalt Bst. C.a) abzuweisen, lassen sich die Ausführungen in ihrer Beschwerdebegründung nicht anders als dahin gehend verstehen, dass sie zumindest sinngemäss die Abweisung dieses Gesuchs verlangt. Insofern ist dem Erfordernis eines reformatorischen Antrags Genüge getan.
1.3. Nicht einzutreten ist auf das Feststellungsbegehren betreffend die Beteiligung bzw. Passivlegitimation der Beschwerdegegnerin im kantonalen Verfahren HG160078. Von der Sache her dreht sich der Streit um die Frage, ob die Beschwerdeführerin die vorläufige Eintragung ihres Bauhandwerkerpfandrechts rechtzeitig prosequiert hat (s. E. 1.1). Die Beschwerdeführerin tut nicht dar, inwiefern sie ein praktisches Interesse daran hat, dass das Bundesgericht darüber hinaus auch noch speziell ein Urteil darüber fällt, wie das Handelsgericht ihre Stellung im Verfahren HG160078 zu beurteilen hat (s. zum Feststellungsinteresse im bundesgerichtlichen Verfahren Urteil 5A_744/2016 vom 28. März 2017 E. 4.1 mit Hinweisen).
2.
Das Handelsgericht verweist auf seine Verfügung vom 17. Juni 2016 im Verfahren HG160078 (s. Sachverhalt Bst. B.c). Darin habe es das Rubrum berichtigt, die C._ AG als Beklagte aufgeführt, der Beschwerdegegnerin die Frist zur Klageantwort abgenommen und ausdrücklich darauf hingewiesen, dass die im fraglichen Verfahren als Gesuchstellerin agierende Beschwerdegegnerin nicht als Beklagte und auch sonst in keiner Weise am Verfahren HG160078 beteiligt sei. Das Handelsgericht stellt fest, dass die Beschwerdeführerin dagegen im besagten Verfahren trotz des deutlichen und unmissverständlichen Wortlauts nicht opponiert habe. Dies bedeute "nichts anderes", als dass die Beschwerdeführerin mit einer Nichtbeteiligung der Beschwerdegegnerin am betreffenden Verfahren "offensichtlich einverstanden" gewesen sei und dies "entsprechend" akzeptiert habe. Nach der Meinung des Handelsgerichts steht dies "denn auch im Einklang" mit der Klageschrift vom 7. April 2016 (s. Sachverhalt Bst. B.a), wo auf der ersten Seite zwar die Beschwerdegegnerin erwähnt werde, allerdings "nicht als Partei (Beklagte) ", sondern "ausschliesslich als Eigentümerin der betreffenden Liegenschaft". Als Beklagte werde "einzig und allein" die C._ AG aufgeführt, auf die sich im Übrigen auch "sämtliche Ausführungen in der klägerischen Rechtsschrift" bezögen. Die Beschwerdegegnerin finde in den klägerischen Ausführungen zur Prosequierung keinerlei Erwähnung mehr, weshalb auch unter diesem Aspekt "keine Parteirolle" der Beschwerdegegnerin als mögliche Beklagte zu erkennen sei. Gestützt auf diese Erwägungen kommt die Vorinstanz zum Schluss, dass binnen der massgebenden (erstreckten) Frist keine Prosequierung gegen die Beschwerdegegnerin angehoben worden sei, was die vollumfängliche Löschung des vorläufig eingetragenen Bauhandwerkerpfandrechts zur Folge habe. In ihrer Vernehmlassung schliesst sich die Beschwerdegegnerin diesen Erwägungen des Handelsgerichts im Wesentlichen an.
3.
3.1. Die Beschwerdeführerin beruft sich auf eine Verletzung des in Art. 52 ZPO verankerten Grundsatzes, wonach alle am Verfahren beteiligten Personen nach Treu und Glauben zu handeln haben. Die vorinstanzliche Ansicht, dass die Beschwerdegegnerin im Verfahren HG160078 nicht Beklagte sei, weil sie nicht explizit als "Beklagte" bezeichnet, sondern als "Eigentümerin Liegenschaft (Bauhandwerkerpfandrecht) " aufgeführt wurde, tadelt sie als "überspitzt formalistisch", zumal auch aus den Rechtsbegehren klar hervor gehe, dass die Beschwerdegegnerin ins Recht gefasst wird. Die Vorinstanz handhabe den Begriff "Beklagte" somit mit übertriebener Schärfe. Die Beschwerdeführerin beruft sich auf Art. 132 ZPO, wonach die Gerichte den Parteien eine Nachfrist anzusetzen haben, um mangelhafte Eingaben zu verbessern. Dieser Verpflichtung sei das Handelsgericht nicht nachgekommen.
Nicht gelten lassen will die Beschwerdeführerin auch den vorinstanzlichen Vorwurf, wonach die Beschwerdegegnerin in der Klage vom 7. April 2016 (s. Sachverhalt Bst. B.a) "zwar erwähnt" werde, sich sämtliche Ausführungen aber auf die C._ AG bezögen. Diese Argumentation erscheine als offensichtlich widersprüchlich, nachdem die Vorinstanz selbst die Beschwerdegegnerin in den Verfügungen vom 12. April 2016 und 17. Mai 2016 (s. Sachverhalt Bst. B.b) als Beklagte aufgefasst habe. Im Weiteren beziehe sich die Klage in offensichtlicher Weise auf die Beschwerdegegnerin, nachdem sich die Rechtsbegehren 3, 4 und 5 im Zusammenhang mit dem Antrag auf definitive Eintragung des Bauhandwerkerpfandrechts direkt gegen sie richten. "Offensichtlich falsch" sei auch die vorinstanzliche Ansicht, wonach die Beschwerdegegnerin in den Ausführungen zur Begründung der Klage keinerlei Erwähnung mehr finde und ihre Parteirolle als mögliche Beklagte deshalb nicht zu erkennen wäre. Sinn und Zweck der Klage sei vielmehr gewesen, das Bauhandwerkerpfandrecht definitiv eintragen zu lassen und gleichzeitig - als Voraussetzung dafür - die Forderung gegen die C._ AG einzuklagen. Die Beschwerdeführerin verweist auf den Abschnitt "Rechtliches", der hauptsächlich Ausführungen zur definitiven Eintragung des Bauhandwerkerpfandrechts und zur Pfandberechtigung enthalte.
3.2. Auch wenn die Beschwerdeführerin in ihrem Schriftsatz die einschlägige Verfassungsnorm nicht speziell erwähnt, rügt sie doch sinngemäss eine Verletzung von Art. 29 Abs. 1 BV. Diese Norm garantiert vor Gerichts- und Verwaltungsinstanzen ein faires Verfahren (BGE 131 I 272 E. 3.2.1 S. 274 f.). Gegen Art. 29 Abs. 1 BV verstösst eine Behörde insbesondere dann, wenn sie in überspitzten Formalismus verfällt. Überspitzter Formalismus als besondere Form der Rechtsverweigerung liegt vor, wenn für ein Verfahren rigorose Formvorschriften aufgestellt werden, ohne dass die Strenge sachlich gerechtfertigt wäre, wenn die Behörde formelle Vorschriften mit übertriebener Schärfe handhabt oder an Rechtsschriften überspannte Anforderungen stellt und damit dem Bürger den Rechtsweg in unzulässiger Weise versperrt (BGE 135 I 6 E. 2.1 S. 9 mit Hinweisen). Prozessuale Formen sind unerlässlich, um die ordnungsgemässe Abwicklung des Verfahrens und die Durchsetzung des materiellen Rechts zu gewährleisten. Nicht jede prozessuale Formstrenge stellt daher überspitzten Formalismus dar, sondern nur jene, die durch keine schutzwürdigen Interessen gerechtfertigt ist, zum blossen Selbstzweck wird und die Verwirklichung des materiellen Rechts in unhaltbarer Weise erschwert oder verhindert (BGE 134 II 244 E. 2.4.2 S. 248; 125 I 166 E. 3a S. 170). Das Verbot des überspitzten Formalismus weist einen engen Bezug zum Grundsatz von Treu und Glauben (Art. 5 Abs. 3 BV) auf (Urteil 1C_236/2014 vom 4. Dezember 2014 E. 3.5) : Prozesserklärungen dürfen nicht buchstabengetreu ausgelegt werden, ohne zu fragen, welcher Sinn ihnen vernünftigerweise beizumessen sei (BGE 113 Ia 94 E. 2 S. 96 f.). Demnach haben alle am Verfahren beteiligten Personen nach Treu und Glauben zu handeln. Soweit nicht das Verhalten einer Prozesspartei, sondern der Schutz vor missbräuchlichem Verhalten der Justiz in Frage steht, folgt aus dieser Norm nichts, was über die erwähnten Inhalte von Art. 5 Abs. 3 und Art. 29 BV hinausgeht (Urteil 5A_618/2015 vom 2. März 2016 E. 6.2 mit Hinweisen).
3.3. Angesichts dieser verfassungsrechtlichen Vorgaben zur Handhabung der prozessualen Formstrenge ist der Tadel der Beschwerdeführerin offensichtlich gerechtfertigt. Was die erste Seite der Klageschrift vom 7. April 2016 (s. Sachverhalt Bst. B.a) angeht, kann allein die Bezeichnung der Beschwerdegegnerin als "Eigentümerin Liegenschaft (Bauhandwerkerpfandrecht) " schlechterdings nicht darüber hinwegtäuschen, dass die Beschwerdeführerin mit ihrer Klage neben der C._ AG auch die Beschwerdegegnerin ins Recht fassen will. Dies ergibt sich ohne Weiteres aus dem Umstand, dass die Beschwerdeführerin die Beschwerdegegnerin zusammen mit der C._ AG unter der Präposition "gegen" aufführt, die Beschwerdegegnerin mit anderen Worten nach der "Beklagten 1" als zweite Person bezeichnet, "gegen" die sich die Klage richtet. Zum selben Schluss führt der Gegenstand der Klage, den die Beschwerdeführerin auf der ersten Seite ihrer Eingabe unter der Präposition "betreffend" mit "Forderungsklage und definitive Eintragung eines Bauhandwerkerpfandrechts" umschreibt. Der Beschwerdeführerin ist darin beizupflichten, dass sich das Handelsgericht dem Vorwurf des überspitzten Formalismus aussetzt, wenn es ihr in einer rein buchstabengetreuen Lesart der ersten Seite der Klageschrift vorwirft, die Beschwerdegegnerin nicht explizite als "Beklagte" bezeichnet zu haben. Mithin lässt das Handelsgericht die gesetzliche Vorgabe, wonach die Klage die Bezeichnung der Parteien zu enthalten hat (Art. 221 Abs. 1 Bst. a ZPO), auf verfassungswidrige Art und Weise zum Selbstzweck verkommen. Das zeigen auch die weiteren - zutreffenden - Rügen der Beschwerdeführerin:
Zu Recht verwahrt sich die Beschwerdeführerin gegen die vorinstanzliche Einschätzung, wonach die Beschwerdegegnerin in der Begründung der Klage vom 7. April 2016 "keinerlei Erwähnung" mehr finde und sich sämtliche dortigen Ausführungen auf die C._ AG bezögen. Wie ihren Ausführungen zur Pfandberechtigung auf Seite 8 der Klageschrift unschwer zu entnehmen ist, nimmt die Beschwerdeführerin dort ausdrücklich auf Vorbringen der "Eigentümerin" im Verfahren HE150520 betreffend die vorläufige Eintragung des Bauhandwerkerpfandrechts (s. Sachverhalt Bst. A) Bezug. Die Beschwerdeführerin legt dar, warum der gegnerischen Behauptung nicht gefolgt werden kann. Ebenso zutreffend verweist sie sodann auf ihre Rechtsbegehren 3 und 4, welche die definitive Eintragung des Bauhandwerkerpfandrechts betreffen. Zwar wird die Beschwerdegegnerin in diesen Anträgen nicht namentlich erwähnt. Dies ist mit Blick auf die Bestimmtheit des Rechtsbegehrens (vgl. dazu BGE 137 III 617 E. 4.3 S. 619) aber auch nicht erforderlich, nachdem das Bauhandwerkerpfandrecht ein Sicherungsrecht dinglicher Natur ist, sich von seiner Wirkung her also auf das fragliche Grundstück bezieht. Entsprechend konnten sich diese Rechtsbegehren nur gegen die Pfandeigentümerin richten, welche die Beschwerdeführerin auf der ersten Seite ihrer Klage bezeichnet hat.
Nach alledem fusst der vorinstanzliche Schluss, wonach die Beschwerdeführerin mit ihrer Klage vom 7. April 2016 nur die C._ AG, nicht aber die Beschwerdegegnerin ins Recht gefasst haben soll, auf einer überspitzt formalistischen und damit sachwidrigen Handhabung der gesetzlichen Anforderungen an die Klageschrift (Art. 221 Abs. 1 ZPO). Mit anderen Worten verletzt der angefochtene Entscheid in offensichtlicher Weise das in Art. 29 Abs. 1 BV garantierte Recht der Beschwerdeführerin auf faire Behandlung im Prozess. Die Beschwerde erweist sich insofern als begründet.
3.4. Nachdem die Klage vom 7. April 2016 mit hinreichender Deutlichkeit darüber Aufschluss gibt, dass die Beschwerdeführerin die Beschwerdegegnerin im Streit um die definitive Eintragung des Bauhandwerkerpfandrechts als beklagte Partei ins Recht fasst, kann der Beschwerdeführerin im vorliegenden Verfahren betreffend die Löschung der vorläufigen Eintragung des Bauhandwerkerpfandrechts auch nicht entgegengehalten werden, dass sie gegen die Verfügung vom 17. Juni 2016 im Verfahren HG160078 "nicht opponiert" und sich deshalb mit der "Nichtbeteiligung" der Beschwerdegegnerin an diesem Verfahren einverstanden erklärt habe.
Pointiert und zutreffend wirft die Beschwerdeführerin dem Handelsgericht in diesem Zusammenhang vor, dass die besagte Verfügung ohne Rechtsgrundlage die "Parteienlandschaft" des Verfahrens verfälsche und eine Partei aus dem Verfahren entlasse, was ihr, der Beschwerdeführerin, zum Nachteil gereiche. Die Art und Weise, wie das Handelsgericht die Beschwerdegegnerin in der fraglichen Verfügung auf ihre Nichtbeteiligung am Prosequierungsprozess hinweist, ohne sich zur Klage bzw. zu den darin gestellten Rechtsbegehren der Beschwerdeführerin zu äussern (s. Sachverhalt Bst. B.c), widerspricht den gesetzlichen Vorgaben: Sollte das Handelsgericht im Verfahren HG160078 unter den gegebenen Umständen trotz allem daran gezweifelt haben, dass sich die Klage vom 7. April 2016 (auch) gegen die Beschwerdegegnerin als Prozesssubjekt richtet, so wäre es aufgrund der gerichtlichen Fragepflicht (Art. 56 ZPO) jedenfalls verpflichtet gewesen, die Beschwerdeführerin zur Klarstellung der Parteibezeichnung aufzufordern und ihr hierzu in (analoger) Anwendung von Art. 132 ZPO eine Nachfrist anzusetzen, verbunden mit der Androhung, dass die Klage andernfalls als nicht erfolgt gilt. Indem sich das Handelsgericht in der Verfügung vom 17. Juni 2016 mit dem Hinweis zufrieden gibt, dass die Beschwerdegegnerin weder als Beklagte noch sonst wie am Prozess beteiligt sei, bringt es zum Ausdruck, dass es die Klage mit Bezug auf die Beschwerdegegnerin als nicht erfolgt betrachtet. Ein derartiger Hinweis kann nicht als (verfahrensabschliessender) Prozess- oder Sachentscheid, sondern allenfalls als prozessleitende Verfügung (Art. 246 ZPO) verstanden werden (vgl. ADRIAN STAEHELIN, in: Sutter-Somm/Hasenböhler/Leuenberger [Hrsg.], Kommentar zur Schweizerischen Zivilprozessordnung [ZPO], 3. Aufl. 2016, N 7 zu Art. 132 ZPO). Prozessleitenden Verfügungen kommt keine materielle Rechtskraft zu (SIMON ZINGG, in: Berner Kommentar, Schweizerische Zivilprozessordnung, Bd. I, Art. 1-149 ZPO, 2012, N 108 zu Art. 59 ZPO mit Hinweisen; Urteil 5A_276/2010 vom 10. August 2010 E. 2.2 betreffend Sistierung). Der Richter kann während des Verfahrens darauf zurückkommen (MAX GULDENER, Schweizerisches Zivilprozessrecht, 3. Aufl. 1979, S. 363). Der Einwand der Beschwerdegegnerin, dass die "Festlegungen" in der besagten Verfügung infolge ihrer Rechtskraft für die Parteien verbindlich seien, läuft deshalb ins Leere.
Ebenso wenig durfte das Handelsgericht allein aus seiner (unzutreffenden) Einschätzung, dass die Beschwerdegegnerin in den klägerischen Ausführungen zur Prosequierung keine Erwähnung mehr findet, den Schluss ziehen, dass der Beschwerdegegnerin im Verfahren HG160078 gar keine Parteirolle als mögliche Beklagte zukommt. Erweist sich die schriftliche Begründung der Klage mit Bezug auf eine beklagte Partei als ungenügend, so folgt allein daraus nicht, dass diese Partei gar nicht eingeklagt wurde. Soweit das Handelsgericht der Meinung war, der Klage fehle es bezüglich des Streits um die definitive Eintragung des Bauhandwerkerpfandrechts an den erforderlichen Tatsachenbehauptungen (Art. 221 Abs. 1 Bst. d ZPO), hätte es im Verfahren HG160078 in dieser Hinsicht gegen die Beschwerdeführerin ein Sachurteil auf Klageabweisung oder ein Prozessurteil auf Nichteintreten fällen müssen - je nachdem, ob eine hinreichende Individualisierung des Streitgegenstandes möglich war oder nicht (Urteil 4C.82/2006 vom 27. Juni 2006 E. 3.4; BGE 115 II 187 E. 3b S. 190). Die Art, wie das Handelsgericht die Beschwerdegegnerin in der Verfügung vom 17. Juni 2016 aus dem Verfahren entlässt, lässt sich weder der einen noch der anderen Art der Prozesserledigung zuordnen und entbehrt damit einer gesetzlichen Grundlage. Auch unter diesem Aspekt kann es der Beschwerdeführerin im Streit um die Löschung der vorläufigen Eintragung des Bauhandwerkerpfandrechts entgegen der Auffassung der Beschwerdegegnerin nicht zum Nachteil gereichen, wenn sie sich gegen die Verfügung vom 17. Juni 2016 nicht zur Wehr gesetzt hat. Taugt die Verfügung vom 17. Juni 2016 aber von vornherein nicht dazu, die Beschwerdegegnerin aus dem Hauptsacheverfahren HG160078 zu entlassen, so wird das Handelsgericht diesen Prozess mit der Beschwerdegegnerin als Beklagter fortzuführen haben.
Zu guter Letzt sticht ins Auge, dass sich das Handelsgericht in seiner Verfügung vom 17. Juni 2016 selbst in Widersprüche verstrickt, wenn es dort als einzige Beklagte (erstmals) die C._ AG aufführt und im selben Federstrich schreibt, dass die Verfügung das "Bauhandwerkerpfandrecht" betreffe. Denn hätte die Beschwerdeführerin - der krass unrichtigen Beurteilung des Handelsgerichts folgend - im Verfahren HG160078 tatsächlich nur die C._ AG ins Recht gefasst, so wäre nicht einzusehen, warum dieses Verfahren ausschliesslich das Bauhandwerkerpfandrecht zum Gegenstand haben sollte, nachdem die Beschwerdeführerin die C._ AG nur als Schuldnerin der Werklohnforderung und nicht als Eigentümerin der Pfandsache verklagt hatte.
3.5. Angesichts der vorigen Erwägungen sowie der Tatsache, dass sich das hiesige Verfahren nicht (direkt) um die Verfügung vom 17. Juni 2016 im Verfahren HG160078, sondern um das Gesuch der Beschwerdegegnerin um Löschung des vorläufig eingetragenen Bauhandwerkerpfandrechts (Verfahren HG160313) dreht, erübrigen sich Erörterungen zum Vorwurf der Beschwerdeführerin, dass ihr Anspruch auf rechtliches Gehör verletzt worden sei, weil das Handelsgericht sie vor dem Erlass der besagten Verfügung "in keiner Weise" zu einer Stellungnahme aufgefordert und diese Verfügung auch nicht mit einer Rechtsmittelbelehrung versehen habe.
4.
Im Ergebnis erweist sich die Beschwerde als begründet. Sie ist - unter Berücksichtigung des unzulässigen Feststellungsbegehrens - teilweise gutzuheissen. Die angefochtene Verfügung ist aufzuheben. Abgesehen von den vorstehend als verfassungswidrig entkräfteten Gründen finden sich im angefochtenen Entscheid keine Anhaltspunkte, weshalb die Klage der Beschwerdeführerin vom 7. April 2016 nicht zur Prosequierung ihres Anspruchs auf Eintragung des streitigen Bauhandwerkerpfandrechts hätte taugen können. Solche werden von der Beschwerdegegnerin auch nicht geltend gemacht. Entsprechend ist das Gesuch der Beschwerdegegnerin um Löschung des vorläufig eingetragenen Bauhandwerkerpfandrechts vom 18. Juli 2016 abzuweisen. Bei diesem Ausgang unterliegt die Beschwerdegegnerin. Sie hat deshalb für die Gerichtskosten aufzukommen (Art. 66 Abs. 1 Satz 1 BGG) und die Beschwerdeführerin für das bundesgerichtliche Verfahren zu entschädigen (Art. 68 Abs. 1 und 2 BGG). Zur Neuverlegung der Prozesskosten des kantonalen Verfahrens wird die Sache an die Vorinstanz zurückgewiesen.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird teilweise gutgeheissen. Die Ziffern 1, 3, 4 und 5 der Verfügung des Handelsgerichts des Kantons Zürich, Einzelgericht, vom 29. August 2016 werden aufgehoben. Das Gesuch der Beschwerdegegnerin um Löschung des mit Urteil des Handelsgerichts, Einzelgericht, vom 18. Januar 2016 zugunsten der Beschwerdeführerin und zulasten der Beschwerdegegnerin auf der Liegenschaft Kat. Nr. yyy, Grundbuch Bl. xxx, für eine Pfandsumme von Fr. 49'254.15 vorläufig eingetragene Bauhandwerkerpfandrecht wird abgewiesen. Im Übrigen wird auf die Beschwerde nicht eingetreten.
2.
Die Gerichtskosten von Fr. 3'000.-- werden der Beschwerdegegnerin auferlegt.
3.
Die Beschwerdegegnerin hat die Beschwerdeführerin für das bundesgerichtliche Verfahren mit Fr. 4'000.-- zu entschädigen.
4.
Die Sache wird zur Neuverlegung der Kosten und Parteientschädigung des vorangegangenen Verfahrens an die Vorinstanz zurückgewiesen.
5.
Dieses Urteil wird den Parteien und dem Handelsgericht des Kantons Zürich, Einzelgericht, schriftlich mitgeteilt.
Lausanne, 20. Oktober 2017
Im Namen der II. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: von Werdt
Der Gerichtsschreiber: Monn


facts:
Faits :
A.
Le 16 février 2015, le Service de la justice du canton de Neuchâtel a adressé à X._ une ordonnance pénale administrative (ci-après : l'ordonnance pénale) le condamnant à une amende de 600 fr. pour avoir circulé le 12 juillet 2014 à la vitesse de 151 km/h sur un tronçon où la vitesse maximale autorisée était limitée à 120 km/h.
A la suite de l'opposition formée par X._ contre cette ordonnance pénale, le Tribunal de police du Littoral et du Val-de-Travers a, par jugement du 17 février 2016, condamné le prénommé, pour violation simple des règles de la circulation routière, à une amende de 600 francs.
B.
Par arrêt du 26 septembre 2016, la Cour pénale du Tribunal cantonal du canton de Neuchâtel a rejeté l'appel formé par X._ contre ce jugement.
C.
X._ forme un recours en matière pénale au Tribunal fédéral contre l'arrêt du 26 septembre 2016, en concluant à son annulation et au renvoi de l'ordonnance pénale du 16 février 2015 au ministère public ou au tribunal de police pour nouvelle décision. Il sollicite en outre le bénéfice de l'assistance judiciaire.

considerations:
Considérant en droit :
1.
A l'appui de son recours, le recourant produit l'exemplaire original de l'ordonnance pénale lui ayant été notifié. Aux termes de l'art. 99 al. 1 LTF, aucun fait nouveau ni preuve nouvelle ne peut être présenté à moins de résulter de la décision de l'autorité précédente. En l'espèce, la pièce produite ne résulte pas de l'arrêt attaqué. Une exception rendant les faits et moyens de preuve nouveaux recevables n'est admise que dans les cas où c'est la décision de l'autorité précédente qui justifie, pour la première fois, de les invoquer. Tel est par exemple le cas de l'allégation des faits de procédure nécessaires pour établir que l'autorité précédente a violé le droit d'être entendu du recourant (cf. arrêts 6B_1137/2013 du 6 mai 2014 consid. 1; 6B_462/2010 du 11 janvier 2011 consid. 3; 6B_52/2007 du 17 mai 2007 consid. 2). En l'espèce, on comprend du mémoire de recours que la pièce produite vise à contredire la constatation de la cour cantonale, selon laquelle il n'était pas établi que l'ordonnance pénale reçue par le recourant ne fût pas signée. Il est douteux que ce moyen de preuve nouveau soit exceptionnellement recevable au regard de la jurisprudence précitée. Cette question peut cependant rester ouverte, le recours devant de toute manière être rejeté sur le fond (cf. consid. 3.2.2 infra).
2.
Le recourant fait grief à la cour cantonale d'avoir établi certains faits de procédure de manière arbitraire (art. 9 Cst.).
2.1. Le Tribunal fédéral n'est pas une autorité d'appel, auprès de laquelle les faits pourraient être rediscutés librement. Il est lié par les constatations de fait de la décision entreprise (cf. art. 105 al. 1 LTF), qu'il ne revoit que si les faits ont été établis de manière manifestement inexacte (art. 97 al. 1 et 105 al. 2 LTF), soit pour l'essentiel de façon arbitraire au sens de l'art. 9 Cst., et pour autant que la correction du vice soit susceptible d'influer sur le sort de la cause (art. 97 al. 1 LTF). En bref, une décision n'est pas arbitraire du seul fait qu'elle apparaît discutable ou même critiquable; il faut qu'elle soit manifestement insoutenable, et cela non seulement dans sa motivation mais aussi dans son résultat (ATF 142 II 369 consid. 4.3 p. 380). Les critiques de nature appellatoire sont irrecevables (ATF 142 III 364 consid. 2.4 p. 368 et les références citées).
2.2. La cour cantonale a retenu que l'exemplaire de l'ordonnance pénale du 16 février 2015 figurant au dossier ne comportait pas de signature. Cela ne signifiait cependant pas que l'exemplaire reçu par le recourant ne le fût pas, car il arrivait que les employés du Service de la justice ne signent pas les doubles des correspondances restant au dossier. Le recourant, qui était le seul à détenir la pièce litigieuse et à pouvoir prouver que celle-ci n'était pas signée, ne l'avait jamais produite, de sorte qu'il n'était pas établi qu'une signature y fît défaut. Par ailleurs, s'il avait signalé, dans son opposition du 9 mars 2015, que l'ordonnance pénale n'était pas signée, le recourant n'avait plus par la suite contesté la validité de celle-ci. Il n'avait en particulier soulevé aucune question préjudicielle en ce sens lors de l'ouverture des débats de première instance.
2.3. En l'espèce, le recourant reproche à la cour cantonale d'avoir retenu qu'il n'était pas établi que l'exemplaire de l'ordonnance pénale lui ayant été notifié ne fût pas signé. Il lui reproche en outre d'avoir considéré qu'il n'avait pas soulevé ce grief devant le tribunal de police. Le recourant soutient pour sa part qu'il aurait évoqué la question du défaut de signature de l'ordonnance pénale devant cette autorité et aurait refusé de signer les procès-verbaux d'audition car le juge refusait d'y mentionner ce grief.
S'agissant de l'absence de signature sur l'exemplaire de l'ordonnance pénale notifié au recourant, la correction d'un éventuel vice dans l'établissement des faits ne serait pas susceptible d'influer sur le sort de la cause, le recours devant être rejeté sur le fond (cf. consid. 3.2.2 infra). Concernant le fait que le recourant n'ait pas soulevé le grief de l'invalidité de l'ordonnance pénale au cours des débats de première instance, celui-ci développe une argumentation purement appellatoire et ne démontre pas en quoi la cour cantonale aurait établi les faits de manière arbitraire. En outre, la correction d'un vice dans l'établissement des faits à cet égard ne serait pas susceptible d'influer sur le sort de la cause (cf. consid. 3.1.3 infra). Le grief est ainsi irrecevable.
3.
Le recourant se plaint de diverses violations du droit fédéral.
3.1. On comprend tout d'abord du mémoire de recours que le recourant conteste avoir été forclos à contester en appel la validité de l'ordonnance pénale.
3.1.1. Le tribunal de première instance contrôle, préjudiciellement et d'office, la validité de l'ordonnance pénale et de l'opposition (art. 356 al. 2 CPP).
3.1.2. L'autorité précédente a considéré que le recourant avait eu la possibilité de soulever la question de la validité de l'ordonnance pénale à titre préjudiciel lors de l'ouverture des débats de première instance (art. 339 al. 2 let. a CPP). Ne l'ayant pas fait, il ne pouvait plus, eu égard au principe de la bonne foi, soulever ce grief devant la cour cantonale.
3.1.3. Le recourant a contesté la validité de l'ordonnance pénale, en indiquant que celle-ci ne comportait pas de signature, dans son opposition du 9 mars 2015. Selon l'état de fait de la cour cantonale, dont le recourant n'a pas démontré qu'il aurait été établi de manière arbitraire à cet égard (cf. consid. 2.3 supra), celui-ci n'a pas contesté la validité de ladite ordonnance devant le tribunal de police. Cela ne l'empêchait cependant nullement de soulever ce grief dans le cadre d'un appel dirigé contre la décision finale de l'autorité de première instance. En effet, au terme de l'examen que lui imposait l'art. 356 al. 2 CPP, le tribunal de première instance a implicitement décidé que l'ordonnance pénale était valable et qu'il ne se justifiait pas de l'annuler sur la base de l'art. 356 al. 5 CPP. En conséquence, le recourant pouvait de toute manière contester la validité de l'ordonnance pénale tenant lieu d'acte d'accusation dans le cadre d'un appel et n'était pas forclos.
Il convient ainsi de déterminer si l'absence de signature sur l'ordonnance pénale constituait un vice propre à entraîner l'annulation de celle-ci et le renvoi de la cause au ministère public en vue d'une nouvelle procédure préliminaire.
3.2. Le recourant fait grief à la cour cantonale d'avoir violé les art. 353 al. 1 let. k et 356 al. 2 CPP.
3.2.1. Le tribunal de première instance statue sur la validité de l'ordonnance pénale et de l'opposition (art. 356 al. 2 CPP). Si l'ordonnance pénale n'est pas valable, le tribunal l'annule et renvoie le cas au ministère public en vue d'une nouvelle procédure préliminaire (art. 356 al. 5 CPP). Le contenu de l'ordonnance pénale est déterminé par sa double fonction d'acte d'accusation en cas d'opposition (art. 356 al. 1 CPP) et de jugement entré en force à défaut d'opposition (art. 354 al. 3 CPP). La description des faits imputés au prévenu (art. 353 al. 1 let. c CPP) doit notamment satisfaire aux exigences du principe de l'accusation au sens de l'art. 325 al. 1 let. f CPP (arrêts 6B_1319/2016 du 22 juin 2017 consid. 2.1.1; 6B_936/2015 du 25 mai 2016 consid. 2.3.1). L'exigence de la signature de la personne ayant établi l'ordonnance pénale découlant de l'art. 353 al. 1 let. k CPP ne se retrouve en revanche pas parmi les éléments énumérés aux art. 325 et 326 CPP. Il s'agit d'une condition de forme (JO PITTELOUD, Code de procédure pénale suisse, 2012, no 986).
3.2.2. En l'espèce, le ministère public a maintenu l'ordonnance pénale frappée d'opposition et a transmis celle-ci au tribunal de première instance. L'ordonnance pénale a dès lors tenu lieu d'acte d'accusation. On ne voit pas, à cet égard, en quoi l'absence de signature sur ce document pouvait en affecter la validité, le tribunal de première instance ayant par ailleurs dû examiner préjudiciellement la régularité de l'accusation conformément à l'art. 329 al. 1 et 2 CPP. Dans ces conditions, l'absence de signature sur l'ordonnance pénale ne devait pas conduire l'autorité de première instance à annuler celle-ci et à renvoyer la cause au ministère public en vue d'une nouvelle procédure préliminaire. Mal fondé, ce grief doit être rejeté.
4.
Le recourant fait encore grief à la cour cantonale d'avoir mis à sa charge les frais de la procédure d'appel. Il ne précise cependant pas s'il conteste le principe ou la quotité de ces frais et ne développe aucune motivation à l'appui de ce grief, de sorte que celui-ci est irrecevable (art. 42 al. 2 LTF).
5.
Il découle de ce qui précède que le recours doit être rejeté dans la mesure où il est recevable.
Comme le recours était voué à l'échec, l'assistance judiciaire ne peut être accordée (art. 64 al. 1 LTF). Le recourant devra donc supporter les frais judiciaires (art. 66 al. 1 LTF), dont le montant sera toutefois fixé en tenant compte de sa situation financière, laquelle n'apparaît pas favorable (art. 65 al. 2 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est rejeté dans la mesure où il est recevable.
2.
La requête d'assistance judiciaire est rejetée.
3.
Les frais judiciaires, arrêtés à 1'200 fr., sont mis à la charge du recourant.
4.
Le présent arrêt est communiqué aux parties et à la Cour pénale du Tribunal cantonal du canton de Neuchâtel.
Lausanne, le 7 août 2017
Au nom de la Cour de droit pénal
du Tribunal fédéral suisse
Le Président : Denys
Le Greffier : Graa


facts:
Faits :
A.
Une procédure pénale est ouverte en France contre Téodoro Obiang, Vice-président de la République de Guinée équatoriale et fils du Président de cet Etat. Il lui est reproché d'avoir détourné des fonds publics alors qu'il était ministre, de 1996 à 2016. Le 5 septembre 2016, il a fait l'objet d'un renvoi en jugement devant le Tribunal correctionnel de Paris. Une instruction pour blanchiment d'argent a été ouverte à Genève le 31 octobre 2016. Le même jour, onze véhicules ont été saisis à l'Aéroport de Genève-Cointrin. Par la suite, par quatre ordonnances des 30 novembre et 16 décembre 2016, le Ministère public genevois a encore prononcé le séquestre de treize véhicules de luxe (de marques Bentley, Rolls Royce, Ferrari et Lamborghini) entreposés dans plusieurs garages à Genève et à Nyon.
B.
La société A._ (société à responsabilité limitée sise à Bata, Guinée équatoriale) ainsi que la République de Guinée équatoriale ont recouru contre ces séquestres, expliquant que l'Etat détenait la société qu'il utilisait pour l'acquisition et l'entretien des véhicules du parc présidentiel, lesquels avaient été achetés sur l'ordre du Ministre de l'intérieur. Toutes deux se prévalaient de l'immunité.
Par arrêt du 1er mars 2017, la Chambre pénale de recours de la Cour de justice genevoise a rejeté le recours dans la mesure de sa recevabilité. En tant que simple actionnaire de la société propriétaire des véhicules, l'Etat n'avait pas qualité pour agir; aucune identité ne pouvait être établie en l'Etat et la société, de sorte que cette dernière ne pouvait se prévaloir de l'immunité. Rien ne permettait d'affirmer que les véhicules servaient à des fins officielles, les permis de circulation mentionnant au contraire un usage privé. Les ordonnances attaquées étaient certes succinctement motivées, mais se référaient à une précédente décision du 31 octobre 2016 (relative aux premiers séquestres) qui, elle, comportait des motifs suffisants. Si l'acquisition de véhicules constituait un acte de blanchiment, la compétence du Ministère public genevois - d'ailleurs non contestée en temps utile - apparaissait donnée. Ces mêmes soupçons justifiaient le séquestre des véhicules à titre de produit de l'infraction.
C.
Agissant par la voie du recours en matière pénale, A._ et la République de Guinée équatoriale demandent au Tribunal fédéral d'annuler l'arrêt de la Chambre pénale de recours, de reconnaître la qualité de partie à la République de Guinée équatoriale, de constater l'incompétence du Ministère public genevois et de constater la nullité des ordonnances de séquestre des 30 novembre et 16 décembre 2016; subsidiairement, elles concluent à la levée des séquestres, plus subsidiairement au renvoi de la cause à l'instance cantonale pour nouvelle décision dans le sens des considérants.
La Chambre pénale de recours n'a pas formulé d'observations. Le Ministère public conclut au rejet du recours. Dans leurs dernières observations, les recourantes concluent à l'irrecevabilité des faits nouveaux allégués dans la réponse du Ministère public, tout en persistant dans leurs motifs et leur conclusions. Il n'a pas été déposé d'autres observations.

considerations:
Considérant en droit :
1.
L'arrêt attaqué, qui confirme le séquestre de véhicules, est une décision rendue en matière pénale au sens de l'art. 78 al. 1 LTF.
1.1. En tant que détentrice des véhicules séquestrés, A._ peut se prévaloir d'un intérêt juridique à obtenir l'annulation ou la modification de cette décision, de sorte qu'elle dispose de la qualité pour recourir au sens de l'art. 81 al. 1 LTF (ATF 133 IV 278 consid. 1.3 p. 282 s.; 128 IV 145 consid. 1a p. 148). Il en va de même de la République de Guinée, dans la mesure où elle conteste la décision d'irrecevabilité rendue à son encontre.
1.2. La décision par laquelle le procureur prononce un séquestre pénal constitue une décision incidente. Cela étant, la jurisprudence admet que le séquestre de valeurs patrimoniales cause en principe un dommage irréparable au sens de l'art. 93 al. 1 let. a LTF, dans la mesure où le propriétaire se trouve privé temporairement de la libre disposition des valeurs ou des biens saisis (ATF 126 I 97 consid. 1b p. 101; voir également ATF 133 IV 139 consid. 4 p. 141; 128 I 129 consid. 1 p. 131).
1.3. Pour le surplus, le recours est formé en temps utile (art. 100 al. 1 LTF) contre une décision rendue en dernière instance cantonale (art. 80 LTF) et les conclusions présentées sont recevables au regard de l'art. 107 al. 2 LTF, de sorte qu'il y a lieu d'entrer en matière.
1.4. Conformément à l'art. 99 LTF, les faits nouveaux ne peuvent être invoqués. Il n'y a dès lors pas lieu de tenir compte des indications figurant dans la réponse du Ministère public dans la mesure où celles-ci font état de l'évolution du dossier depuis le prononcé de l'arrêt attaqué.
2.
Les recourantes se plaignent d'arbitraire dans l'établissement des faits. La cour cantonale a retenu que A._ appartenait au dénommé B._, méconnaissant que celui-ci agissait pour la République de Guinée équatoriale, laquelle détiendrait d'ailleurs l'entier du capital social. Rien ne permettrait d'affirmer que l'ayant droit de la société serait Téodoro Obiang. La cour s'était aussi fondée sur un témoignage du 9 novembre 2016 pour retenir que les véhicules avaient été achetés par des sociétés suisses pour le compte de la recourante, et mis à disposition de Obiang. Ce témoignage concernait des véhicules saisis précédemment, et non ceux séquestrés par ailleurs les 30 novembre et 16 décembre 2016. Les recourantes s'étonnent de la procédure suivie par l'instance cantonale qui a statué en premier sur le recours dirigé contre une seconde série de séquestres, sans statuer sur le premier séquestre ordonné le 31 octobre 2016, tout en se référant à cette décision et aux explications fournies par les recourantes à cet égard. Sur ce dernier point, le recours dénonce des incohérences sans pour autant expliquer quel droit ou principe constitutionnel serait violé. Pour autant qu'il s'agisse d'un grief distinct, celui-ci serait irrecevable.
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), à moins que ceux-ci n'aient été établis de façon manifestement inexacte - c'est-à-dire arbitraire au sens de l'art. 9 Cst. (ATF 140 III 264 consid. 2.3 p. 266) - ou en violation du droit au sens de l'art. 95 LTF. Si le recourant entend s'écarter des constatations de fait de l'autorité précédente, il doit expliquer de manière circonstanciée en quoi les conditions de l'art. 105 al. 2 LTF seraient réalisées et la correction du vice susceptible d'influer sur le sort de la cause (cf. art. 97 al. 1 LTF; ATF 141 II 14 consid. 1.6 p. 24; 137 I 58 consid. 4.1.2 p. 62). Le Tribunal fédéral n'entre pas en matière sur des critiques de type appellatoire portant sur l'état de fait ou sur l'appréciation des preuves (ATF 140 III 264 consid. 2.3 p. 266; 139 II 404 consid. 10.1 p. 445; 137 II 353 consid. 5.1 p. 356 et les arrêts cités).
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 (ATF 140 III 264 consid. 2.3 p. 266 et les réf. cit.).
2.2. La cour cantonale rappelle clairement que la République de Guinée équatoriale est l'actionnaire et donneur d'ordre de A._ (consid. 1.3 et 1.4) et que cette société (équivalant à une sàrl) est, selon le certificat du 16 mai 2014, "propriété" du dénommé B._. Il n'y a aucune erreur manifeste sur ces points. Indépendamment de la question de l'actionnariat de la société, la cour cantonale a retenu que Téodoro Obiang "semblait prima facie être l'ayant droit économique de A._". La cour cantonale ne fait pas ainsi état d'une certitude, mais d'une simple probabilité que les recourantes se contentent de contester, mais qui n'est en l'état pas exclue au vu des pièces du dossier.
Le témoignage du 9 novembre 2016 mentionne l'intervention de deux sociétés suisses pour acheter, homologuer, dédouaner et entreposer les véhicules. Ce témoignage concerne certes les véhicules saisis précédemment. On ne voit toutefois pas en quoi les déclarations faites en rapport avec cette première saisie ne pouvaient aussi être reprises - en l'absence d'indices contraires - à l'appui des mesures ultérieures.
Il n'y a partant aucun arbitraire dans l'établissement des faits.
3.
Invoquant l'art. 105 al. 2 CPP, les recourantes reprochent à la cour cantonale d'avoir considéré à tort que la République de Guinée équatoriale n'avait pas qualité pour recourir. Outre sa qualité d'actionnaire de la société, elle se prévalait de son immunité et d'une atteinte à sa souveraineté, celle-ci se retrouvant dans l'impossibilité d'utiliser les voitures de sa flotte présidentielle. Cette seule invocation suffisait à lui conférer la qualité pour recourir.
3.1. Alors que les parties peuvent se prévaloir sans condition des droits procéduraux conférés par le CPP, les autres participants à la procédure doivent établir qu'ils sont directement touchés dans leurs droits au sens de l'art. 105 al. 2 CPP. Pour que le participant à la procédure se voie reconnaître la qualité de partie en application de l'art. 105 al. 2 CPP, il faut que l'atteinte à ses droits soit directe, immédiate et personnelle, une atteinte de fait ou indirecte étant insuffisante (ATF 137 IV 280 consid. 2.2.1 p. 283; arrêt 1B_588/2012 du 10 janvier 2013 consid. 2.2).
3.2. Un Etat bénéficie des immunités qui protègent notamment ses biens ainsi que ses représentants à l'étranger (cf. PATRICK DAILLIER/ ALAIN PELLET, Droit international public, 7e éd., p. 451). Ce principe de droit coutumier a été précisé dans la Convention de Vienne sur les relations diplomatiques, qui règle en particulier l'immunité des agents diplomatiques (art. 29 et 31) et l'inviolabilité de leur correspondance et de leurs biens (art. 30). Ces immunités sont destinées à garantir le respect de la souveraineté de l'Etat (arrêt 1B_588/2012 du 10 janvier 2013 consid. 2.1). Pour s'en prévaloir, l'Etat doit toutefois rendre suffisamment vraisemblable que les biens séquestrés peuvent être rattachés à son activité "iure imperii". Lorsqu'un Etat entend se prévaloir de l'immunité pour faire échec à une mesure prise dans le cadre d'une procédure pénale, il lui appartient d'établir - ou à tout le moins de rendre vraisemblable - que les conditions d'une telle protection sont réalisées.
3.3. En l'occurrence, les autorités cantonales considèrent que les automobiles séquestrées n'étaient pas utilisées par l'Etat, mais par le prévenu qui les avait acquises au moyen de fonds détournés et qui s'en servait à des fins personnelles. Dans la mesure où ces soupons apparaissent suffisants pour justifier un séquestre (cf. ci-dessous consid 5.2), ils le sont aussi pour écarter en l'état l'objection tirée de l'immunité, de la part tant de l'Etat que de la société. C'est dès lors avec raison que la cour cantonale a refusé d'entrer en matière sur le recours en tant qu'il était formé par la République de Guinée équatoriale. Les recourantes ne contestent pas, par ailleurs, que la simple qualité d'actionnaire de la société concernée ne suffisait pas à fonder la qualité pour recourir au sens de l'art. 105 al. 2 CPP.
4.
Les recourantes considèrent ensuite que les autorités suisses ne seraient pas compétentes pour prononcer un séquestre. Selon elles, il ne serait pas démontré que les actes de détournement, de corruption, d'abus de confiance et de gestion déloyale seraient également punissables dans l'Etat du lieu de commission. Aucun indice ne permettrait de penser que les véhicules auraient été acquis au moyen de fonds détournés de 1996 à 2012, puisqu'ils ont été achetés par une société détenue par l'Etat. Enfin, les recourantes relèvent qu'elles ne pouvaient contester auparavant la compétence des autorités suisses dès lors que leur intervention était limitée à la procédure de séquestre et que la contestation du for prévue à l'art. 41 CPP ne concerne que les tribunaux suisses.
Le Ministère public admet lui-même que les circonstances des acquisitions ne sont pas encore clairement établies. Il n'est en l'état pas exclu que les achats aient été effectués en Suisse, comme cela semble avoir été le cas pour les véhicules ayant fait l'objet du premier séquestre. Dans ces conditions et si les fonds nécessaires à ces achats provenaient des détournements de fonds publics, des actes de blanchiment pourraient être retenus en Suisse. Il en irait de même en cas de réparations des véhicules effectuées en Suisse. La compétence des autorités suisses ne pouvant être exclue à ce stade, il n'y a pas lieu d'examiner les autres objections soulevées en rapport avec cette question.
5.
Invoquant une violation des art. 197 et 263 CPP, les recourantes contestent la commission d'une infraction (détournements au préjudice de l'Etat) en rapport avec les véhicules séquestrés. Elles relèvent en outre qu'en cas de détournements, la République de Guinée équatoriale serait elle-même lésée et aurait droit à une restitution.
5.1. Le séquestre est une mesure de contrainte qui ne peut être ordonnée, en vertu de l'art. 197 al. 1 CPP, que si elle est prévue par la loi (let. a), s'il existe des soupçons suffisants laissant présumer une infraction (let. b), si les buts poursuivis ne peuvent pas être atteints par des mesures moins sévères (let. c) et si elle apparaît justifiée au regard de la gravité de l'infraction (let. d).
Lors de cet examen, l'autorité statue sous l'angle de la vraisemblance, examinant des prétentions encore incertaines. Le séquestre pénal est en effet une mesure provisoire destinée à préserver les objets ou valeurs qui peuvent servir de moyens de preuve, que le juge du fond pourrait être amené à confisquer, à restituer au lésé ou qui pourraient servir à l'exécution d'une créance compensatrice (art. 263 al. 1 CPP et 71 al. 3 CP). L'autorité doit pouvoir statuer rapidement (cf. art. 263 al. 2 CPP), ce qui exclut qu'elle résolve des questions juridiques complexes ou qu'elle attende d'être renseignée de manière exacte et complète sur les faits avant d'agir (ATF 141 IV 360 consid. 3.2 p. 364).
Un séquestre est proportionné lorsqu'il porte sur des avoirs dont on peut admettre en particulier qu'ils pourront être vraisemblablement confisqués en application du droit pénal. Tant que l'instruction n'est pas achevée et que subsiste une probabilité de confiscation, de créance compensatrice ou d'une allocation au lésé, la mesure conservatoire doit être maintenue (ATF 141 IV 360 consid. 3.2 p. 364); l'intégralité des fonds doit demeurer à disposition de la justice aussi longtemps qu'il existe un doute sur la part de ceux-ci qui pourrait provenir d'une activité criminelle (arrêt 1B_145/2016 du 1 er juillet 2016 consid. 3.1 et les arrêts cités). Les probabilités d'une confiscation, respectivement du prononcé d'une créance compensatrice, doivent cependant se renforcer au cours de l'instruction (ATF 122 IV 91 consid. 4 p. 96; arrêt 1B_416/2012 du 30 octobre 2012 consid. 2.1). Un séquestre peut en effet apparaître disproportionné lorsque la procédure dans laquelle il s'inscrit s'éternise sans motifs suffisants (ATF 132 I 229 consid. 11.6 p. 247). En outre, pour respecter le principe de proportionnalité, l'étendue du séquestre doit rester en rapport avec le produit de l'infraction poursuivie (ATF 130 II 329 consid. 6 p. 336).
5.2. Dans le cadre de la procédure devant la Cour correctionnelle de Paris, Téodoro Obiang se voit reprocher d'avoir détourné des fonds au préjudice du trésor public et commis des actes de corruption et de gestion déloyale. Le Ministère public estime que les véhicules saisis en Suisse pourraient avoir été achetés au moyen de ces fonds par l'intéressé, le salaire officiel de celui-ci apparaissant manifestement insuffisant au regard de la valeur des véhicules. L'instruction a révélé que certains véhicules (notamment ceux qui ont fait l'objet de la première décision de séquestre) avaient été achetés par des sociétés suisses et mis à disposition de l'intéressé. La thèse des recourantes (détention des véhicules pour le compte de l'Etat, présence en Suisse en vue de réparations) n'est à tout le moins pas établie. Il paraît notamment peu vraisemblable que des voitures de sport puissent être utilisées comme véhicules officiels, les permis de circulation faisant d'ailleurs mention d'un usage privé; en outre, leur présence en Suisse, même pour les besoins de réparations ou de révisions, serait difficilement explicable. Enfin, comme le relève la cour cantonale, les véhicules étaient immatriculés alors qu'une telle immatriculation n'était pas nécessaire pour circuler en Guinée équatoriale.
A ce stade, qui correspond encore à la première phase de l'enquête, les soupçons apparaissent suffisants pour retenir la probabilité d'une provenance illicite des fonds et d'une confiscation. Cela suffit pour justifier le séquestre, sans qu'il y ait à s'interroger sur une éventuelle restitution au lésé.
6.
Sur le vu de ce qui précède, le recours est rejeté, dans la mesure où il est recevable. Conformément à l'art. 66 al. 1 LTF, les frais judiciaires sont mis à la charge des recourantes qui succombent.

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 à 5'000 fr., sont mis à la charge des recourantes.
3.
Le présent arrêt est communiqué au mandataire des recourantes, au Ministère public et à la Cour de justice de la République et canton de Genève, Chambre pénale de recours.
Lausanne, le 3 juillet 2017
Au nom de la Ire Cour de droit public
du Tribunal fédéral suisse
Le Président : Merkli
Le Greffier : Kurz