facts:
Fatti:
Fatti:
A. A.a Con decisione del 17 ottobre 2001 l'allora Ufficio del lavoro del Canton Ticino (poi diventato Sezione del lavoro) ha ritenuto W._, di formazione infermiere, idoneo al collocamento e ha dichiarato applicabili, a partire dal 1° settembre 2001 e a dipendenza di un'abilità lavorativa dell'interessato del 75%, le disposizioni previste in caso di capacità lavorativa temporaneamente inesistente o ridotta.
A.b In data 22 novembre 2002 la Cassa disoccupazione cristiano sociale OCST, in presenza di attestati medici divergenti, ha sottoposto, per decisione, alla Sezione del lavoro la questione se W._, dal 1° marzo 2002, dovesse essere considerato abile al lavoro - e pertanto idoneo al collocamento - al 50% o al 75%.
Con provvedimento formale del 7 febbraio 2003, cresciuto incontestato in giudicato, la Sezione interpellata ha dichiarato l'assicurato idoneo al collocamento per un'attività al 75% in attesa della decisione dell'Ufficio assicurazione invalidità (UAI) del Canton Ticino al quale l'interessato si era nel frattempo ugualmente rivolto.
A.c Mediante scritto del 22 aprile 2003, indirizzato alla Cassa, W._, rappresentato dall'avv. Marco Probst, ha contestato diversi conteggi, datati 19 febbraio 2003, che l'amministrazione aveva allestito in relazione all'assegnazione di indennità di disoccupazione per i mesi da maggio 2002 a gennaio 2003. Facendo in particolare notare che il guadagno assicurato mensile posto a fondamento di detti conteggi avrebbe dovuto essere di fr. 6'108.- (recte: fr. 6'208.-) e non di fr. 4'656.- (corrispondente all'importo diminuito del 25%), egli ha chiesto la rettifica con emanazione di una decisione formale.
Per lettera dell'8 maggio 2003 la Cassa interessata ha informato il rappresentante di W._ di non ritenere necessaria l'emanazione di una nuova decisione formale, essendosi sulla questione del grado di abilità lavorativa già formalmente pronunciata la Sezione del lavoro in data 7 febbraio 2003.
A.d Con istanza del 30 maggio 2003, sempre rappresentato dall'avv. Probst, l'assicurato ha quindi chiesto alla Sezione del lavoro di riesaminare la decisione del 7 febbraio 2003 in quanto il dott. P._, specialista in reumatologia, che in data 24 settembre 2002 aveva esperito una perizia medica su mandato dell'UAI, aveva avuto modo di ritenerlo pienamente abile al lavoro e, di conseguenza, anche totalmente collocabile in attività leggere.
Adducendo che l'interessato avrebbe accettato le conclusioni del medico di fiducia della cassa malati Helsana, dott. G._, che lo avrebbe in precedenza esaminato dichiarandolo abile al lavoro al 75% nell'attività di infermiere da lui ricercata, la Sezione del lavoro, con decisione formale del 14 luglio 2003, ha respinto la domanda.
Adducendo che l'interessato avrebbe accettato le conclusioni del medico di fiducia della cassa malati Helsana, dott. G._, che lo avrebbe in precedenza esaminato dichiarandolo abile al lavoro al 75% nell'attività di infermiere da lui ricercata, la Sezione del lavoro, con decisione formale del 14 luglio 2003, ha respinto la domanda.
B. Seguendo l'indicazione sui rimedi giuridici in esso contenuta, l'assicurato, con il patrocinio dell'avv. Probst, è insorto contro il provvedimento amministrativo con gravame al Tribunale delle assicurazioni del Canton Ticino, chiedendone l'annullamento e postulando il riconoscimento dell'idoneità al collocamento per un'attività al 100%.
Con il medesimo atto W._ ha ugualmente impugnato lo scritto della Cassa disoccupazione dell'8 maggio 2003, con cui l'amministrazione non aveva ritenuto di dover pronunciare una decisione formale a proposito della richiesta di versare un'indennità giornaliera di disoccupazione fondata su un guadagno assicurato di fr. 6'108.- (recte: fr. 6'208.-) mensili.
Per giudizio del 22 settembre 2003 il Presidente del Tribunale cantonale ha dichiarato irricevibile il gravame presentato avverso la decisione del 14 luglio 2003 della Sezione del lavoro e lo ha retrocesso, per competenza, a quest'ultima autorità affinché prima rendesse una decisione su opposizione.
La Corte di prima istanza non si è per contro espressa in alcun modo sul censurato atto della Cassa disoccupazione OCST dell'8 maggio 2003.
La Corte di prima istanza non si è per contro espressa in alcun modo sul censurato atto della Cassa disoccupazione OCST dell'8 maggio 2003.
C. Sempre rappresentato dall'avv. Probst, W._ censura, con ricorso di diritto amministrativo al Tribunale federale delle assicurazioni, la pronuncia cantonale limitatamente al mancato esame del gravame interposto avverso la "decisione informale" 8 maggio 2003 della Cassa e ravvisa in tale comportamento una violazione del diritto di essere sentito nonché un crasso diniego di giustizia. Egli ha quindi chiesto di essere posto al beneficio dell'assistenza giudiziaria e del gratuito patrocinio.
La Sezione del lavoro e il Segretariato di Stato dell'economia hanno rinunciato a determinarsi. Per parte sua, la Cassa disoccupazione, dopo avere precisato di aver versato indennità giornaliere in base alla decisione emanata dalla Sezione del lavoro, osserva che nel medesimo periodo l'Helsana ha versato al ricorrente un'indennità giornaliera per perdita di salario corrispondente ad un'inabilità lavorativa del 25%.

considerations:
Diritto:
Diritto:
1. Qualora la lite non verta - come nel caso concreto, concernente una questione prettamente procedurale - sull'assegnazione o il rifiuto di prestazioni assicurative, il Tribunale federale delle assicurazioni deve limitarsi ad esaminare se il giudizio di primo grado abbia violato il diritto federale, compreso l'eccesso o l'abuso del potere d'apprezzamento, oppure se l'accertamento dei fatti sia manifestamente inesatto, incompleto od avvenuto violando norme essenziali di procedura (art. 132 OG in relazione con gli art. 104 lett. a e b e 105 cpv. 2 OG; per il caso concreto RAMI 1992 no. UV 151 pag. 194 consid. 3).
1. Qualora la lite non verta - come nel caso concreto, concernente una questione prettamente procedurale - sull'assegnazione o il rifiuto di prestazioni assicurative, il Tribunale federale delle assicurazioni deve limitarsi ad esaminare se il giudizio di primo grado abbia violato il diritto federale, compreso l'eccesso o l'abuso del potere d'apprezzamento, oppure se l'accertamento dei fatti sia manifestamente inesatto, incompleto od avvenuto violando norme essenziali di procedura (art. 132 OG in relazione con gli art. 104 lett. a e b e 105 cpv. 2 OG; per il caso concreto RAMI 1992 no. UV 151 pag. 194 consid. 3).
2. 2.1 Oggetto del contendere è nel caso di specie la sola questione se il Tribunale di prime cure, avendo omesso di esaminare il gravame presentato dall'assicurato in sede cantonale contro l'atto 8 maggio 2003 della Cassa disoccupazione OCST, abbia commesso un diniego di giustizia e abbia quindi violato il diritto federale. Non è per contro censurato il giudizio cantonale nella misura in cui essa pronuncia ha sancito l'irricevibilità, con conseguente rinvio degli atti all'amministrazione per emanazione di una decisione su opposizione, del ricorso presentato contro la decisione 14 luglio 2003 della Sezione del lavoro.
2.2 Nella misura in cui con il ricorso di diritto amministrativo vengono sollevate censure di natura materiale - attinenti al grado di abilità lavorativa dell'assicurato rispettivamente all'ammontare delle indennità giornaliere spettantigli -, il gravame si dimostra irricevibile (cfr. ad es. sentenze del 29 dicembre 2003 in re N., K 39/03, consid. 2.2, e del 23 ottobre 2003 in re J., K 55/03, consid. 1.3).
2.3 Dal profilo temporale risultano senz'altro applicabili le disposizioni formali della legge federale sulla parte generale del diritto delle assicurazioni sociali (LPGA) del 6 ottobre 2000, entrata in vigore il 1° gennaio 2003 (DTF 130 V 4 consid. 3.2; quo all'applicabilità delle disposizioni materiali della LPGA cfr. per contro DTF 130 V 329, 129 V 4 consid. 1.2).
2.3 Dal profilo temporale risultano senz'altro applicabili le disposizioni formali della legge federale sulla parte generale del diritto delle assicurazioni sociali (LPGA) del 6 ottobre 2000, entrata in vigore il 1° gennaio 2003 (DTF 130 V 4 consid. 3.2; quo all'applicabilità delle disposizioni materiali della LPGA cfr. per contro DTF 130 V 329, 129 V 4 consid. 1.2).
3. 3.1 L'oggetto litigioso nella procedura amministrativa è il rapporto giuridico che - nell'ambito dell'oggetto impugnato determinato dalla decisione - costituisce, giusta le conclusioni del ricorso, l'oggetto della decisione effettivamente querelato. Secondo questa definizione, l'oggetto impugnato e l'oggetto litigioso coincidono qualora la decisione amministrativa è querelata nel suo insieme. Nel caso in cui, invece, il ricorso si riferisce soltanto a una parte del rapporto giuridico determinato dalla decisione, i punti non contestati di tale rapporto giuridico sono certo compresi nell'oggetto impugnato, ma non nell'oggetto litigioso. Le questioni decise nel provvedimento amministrativo - quindi facenti parte dell'oggetto impugnato -, ma che, giusta le conclusioni del ricorso, non sono più contestate - che pertanto non sono comprese nell'oggetto litigioso - sono esaminate dal giudice solo nella misura in cui i punti non contestati siano strettamente connessi all'oggetto litigioso (DTF 122 V 244 consid. 2a, 117 V 295 consid. 2a, 112 V 99 consid. 1a, 110 V 51 consid. 3c e sentenze ivi citate; cfr. anche DTF 122 V 36 consid. 2a).
L'oggetto della lite viene quindi definito alla luce delle censure sollevate con il ricorso (Locher, Grundriss des Sozialversicherungsrechts, Berna 2003, pag. 482), le quali vengono considerate validamente presentate se dal tenore o perlomeno dal senso di quest'ultimo risultano con sufficiente chiarezza (RCC 1986 pag. 317 consid. 4a).
Al riguardo va ancora aggiunto che la definizione di oggetto impugnato in procedura cantonale corrisponde a quella in vigore in procedura federale e, in tale ambito, questa Corte esamina d'ufficio se i principi sono stati applicati correttamente dal Tribunale di prime cure (sentenza inedita del 21 aprile 1993 in re S., K 117/92, consid. 2a).
Al riguardo va ancora aggiunto che la definizione di oggetto impugnato in procedura cantonale corrisponde a quella in vigore in procedura federale e, in tale ambito, questa Corte esamina d'ufficio se i principi sono stati applicati correttamente dal Tribunale di prime cure (sentenza inedita del 21 aprile 1993 in re S., K 117/92, consid. 2a).
4. 4.1 Il Tribunale federale delle assicurazioni giudica in ultima istanza i ricorsi di diritto amministrativo contro le decisioni nel senso degli articoli 97, 98 lett. b a h e 98a OG, in materia di assicurazioni sociali (art. 128 OG). Per l'art. 97 cpv. 2 OG, alla decisione è assimilato l'ingiustificato rifiuto o ritardo di statuire.
4.2 Giusta l'art. 29 cpv. 1 Cost. in procedimenti dinanzi ad autorità giudiziarie o amministrative, ognuno ha diritto alla parità ed equità di trattamento, nonché ad essere giudicato entro un termine ragionevole.
Secondo la giurisprudenza è costitutivo di violazione dell'art. 29 cpv. 1 Cost. il fatto, per un'autorità amministrativa o giudiziaria, di non trattare e non evadere un'istanza di sua competenza. Un tale comportamento è definito dalla giurisprudenza diniego di giustizia formale. L'art. 29 cpv. 1 Cost. è però violato anche qualora l'autorità competente, pur dimostrandosi disposta a pronunciare un giudizio, non procede nei termini che appaiono adeguati tenuto conto della natura della causa e dell'insieme delle circostanze. In quest'ultima ipotesi l'autorità si rende rea di ritardata giustizia. Per le parti è irrilevante il motivo che ha determinato il mancato agire o l'agire entro termini inadeguati; decisivo per loro è che l'autorità non ha agito o ha agito con ritardo (SVR 2001 IV no. 24 pag. 73 seg. consid. 3a e b; cfr., riguardo al previgente art. 4 cpv. 1 vCost., la cui giurisprudenza si applica anche alla nuova norma, DTF 124 V 133, 117 Ia 117 consid. 3a, 197 consid. 1c, 108 V 20 consid. 4c, 107 Ib 164 consid. 3b, 103 V 195 consid. 3c).
Secondo l'art. 106 cpv. 2 OG la parte può interporre ricorso in ogni tempo contro l'ingiustificato rifiuto o ritardo di statuire.
4.3 Discende quindi dal diritto di essere sentito di cui all'art. 29 cpv. 2 Cost. l'obbligo per il giudice di motivare le proprie decisioni affinché l'amministrato possa comprenderle ed esercitare i propri diritti di ricorso a ragion veduta. Il giudice deve, anche solo brevemente, perlomeno menzionare i motivi che lo hanno guidato e determinato nel proprio giudizio, di modo che l'interessato possa rendersi conto della sua portata ed impugnarlo con cognizione di causa (cfr. DTF 121 I 57 consid. 2c e i riferimenti ivi citati).
4.4 Per l'art. 104 lett. a OG, con il ricorso di diritto amministrativo il ricorrente può far valere la violazione del diritto federale, quindi anche dei diritti costituzionali e in particolare di quelli tutelati dagli art. 9 (protezione dall'arbitrio e tutela della buona fede) e 29 Cost. (garanzie procedurali; DTF 126 V 254 consid. 1a, 121 V 288 consid. 3 e sentenze ivi citate).
In via giurisprudenziale il Tribunale federale delle assicurazioni ha infatti riconosciuto che il ricorso di diritto amministrativo può assumere funzione di ricorso di diritto pubblico quando è proposto contro violazioni di diritto costituzionale commesse dall'autorità cantonale in materie sottoposte al controllo giurisdizionale dell'autorità federale agente quale giudice amministrativo (DTF 121 V 288 consid. 3 e sentenze ivi citate).
Considerata la sussidiarietà assoluta del ricorso di diritto pubblico, è quindi nell'ambito del ricorso di diritto amministrativo che dev'essere esaminata la denunciata violazione dei diritti costituzionali (DTF 118 Ib 62 consid. 1b, 132 consid. 1a, 112 Ia 358 consid. 4a, 110 Ib 257, 110 V 363 consid. 1c, 108 Ib 73 consid 1a, 104 Ib 120-121; Auer, La juridiction constitutionnelle en Suisse, pag. 122 no. 212; Grisel, Traité de droit administratif, vol. II pag. 908/909; Gygi, Bundesverwaltungs- rechtspflege, 2a ed. pag. 92 segg. e 235).
Considerata la sussidiarietà assoluta del ricorso di diritto pubblico, è quindi nell'ambito del ricorso di diritto amministrativo che dev'essere esaminata la denunciata violazione dei diritti costituzionali (DTF 118 Ib 62 consid. 1b, 132 consid. 1a, 112 Ia 358 consid. 4a, 110 Ib 257, 110 V 363 consid. 1c, 108 Ib 73 consid 1a, 104 Ib 120-121; Auer, La juridiction constitutionnelle en Suisse, pag. 122 no. 212; Grisel, Traité de droit administratif, vol. II pag. 908/909; Gygi, Bundesverwaltungs- rechtspflege, 2a ed. pag. 92 segg. e 235).
5. 5.1 In casu, dagli atti emerge che il patrocinatore del ricorrente, con il gravame presentato in data 15 settembre 2003 al Tribunale delle assicurazioni del Canton Ticino, aveva contestato da un lato il mancato riesame della decisione del 7 febbraio 2003 decretato dalla Sezione del lavoro con decisione formale del 14 luglio 2003, ma dall'altro anche il tenore dello scritto 8 maggio 2003 della Cassa disoccupazione OCST, da lui indicato quale decisione informale.
Alla luce della giurisprudenza succitata si deve quindi necessariamente dedurre che oggetto del contendere in sede cantonale doveva essere considerato non solo l'esame della ricevibilità ed eventualmente della fondatezza nel merito del gravame presentato avverso il provvedimento del 14 luglio 2003 della Sezione del lavoro, ma anche di quello interposto nei confronti dello scritto 8 maggio 2003 emanato dalla Cassa.
5.2 Neppure il fatto che nelle motivazioni (non tuttavia nelle conclusioni) il patrocinatore dell'assicurato abbia fatto dipendere il ricorso da una condizione, e meglio abbia precisato che "nella misura in cui codesti onorevoli Giudici dovessero ritenere, per denegata ipotesi, che l'oggetto della decisione, emessa il 7 febbraio 2003 dalla Sezione del lavoro, concerna unicamente il tema di conoscere in quale misura sia collocabile W._, si interpone ricorso [...] anche contro la decisione informale resa dalla Cassa in data 8.05.2003", modifica l'esito della presente procedura. Poiché infatti il giudice cantonale non si è chinato su questa problematica di merito, avendo dichiarato irricevibile il ricorso presentato contro la decisione del 14 luglio 2003, egli doveva in ogni caso esaminare anche il gravame presentato avverso il "provvedimento" dell'8 maggio 2003. La condizione per cui si sarebbe potuto prescindere dall'ulteriore richiesta d'esame giudiziario non si era infatti realizzata.
5.2 Neppure il fatto che nelle motivazioni (non tuttavia nelle conclusioni) il patrocinatore dell'assicurato abbia fatto dipendere il ricorso da una condizione, e meglio abbia precisato che "nella misura in cui codesti onorevoli Giudici dovessero ritenere, per denegata ipotesi, che l'oggetto della decisione, emessa il 7 febbraio 2003 dalla Sezione del lavoro, concerna unicamente il tema di conoscere in quale misura sia collocabile W._, si interpone ricorso [...] anche contro la decisione informale resa dalla Cassa in data 8.05.2003", modifica l'esito della presente procedura. Poiché infatti il giudice cantonale non si è chinato su questa problematica di merito, avendo dichiarato irricevibile il ricorso presentato contro la decisione del 14 luglio 2003, egli doveva in ogni caso esaminare anche il gravame presentato avverso il "provvedimento" dell'8 maggio 2003. La condizione per cui si sarebbe potuto prescindere dall'ulteriore richiesta d'esame giudiziario non si era infatti realizzata.
6. Da quanto sopra esposto discende che, avendo omesso di trattare, senza la benché minima motivazione, il gravame rivolto contro lo scritto 8 maggio 2003 della Cassa disoccupazione, la Corte precedente ha commesso diniego di giustizia e ha violato il diritto di essere sentito del ricorrente (sentenza inedita del 13 luglio 1990 della Ia Corte di diritto pubblico in re M., 1P.245/1990).
Nella misura in cui è ricevibile, il ricorso di diritto amministrativo dev'essere pertanto accolto e l'incarto rinviato al Tribunale cantonale affinché si pronunci sulla specifica domanda con giudizio formale impugnabile. Spetterà così in particolare all'autorità giudiziaria di primo grado determinare se la richiesta formulata dall'assicurato in sede di ricorso cantonale del 15 settembre 2003 sia da qualificare come ricorso per denegata giustizia oppure quale disaccordo (eventualmente espresso all'autorità incompetente) ai sensi dell'art. 49 cpv. 1 LPGA, quest'ultimo disposto prevedendo segnatamente che nei casi di ragguardevole entità o quando vi è disaccordo con l'interessato, l'assicuratore deve emanare per scritto una decisione in materia di prestazioni.
Nella misura in cui è ricevibile, il ricorso di diritto amministrativo dev'essere pertanto accolto e l'incarto rinviato al Tribunale cantonale affinché si pronunci sulla specifica domanda con giudizio formale impugnabile. Spetterà così in particolare all'autorità giudiziaria di primo grado determinare se la richiesta formulata dall'assicurato in sede di ricorso cantonale del 15 settembre 2003 sia da qualificare come ricorso per denegata giustizia oppure quale disaccordo (eventualmente espresso all'autorità incompetente) ai sensi dell'art. 49 cpv. 1 LPGA, quest'ultimo disposto prevedendo segnatamente che nei casi di ragguardevole entità o quando vi è disaccordo con l'interessato, l'assicuratore deve emanare per scritto una decisione in materia di prestazioni.
7. 7.1 Malgrado non riguardi direttamente l'assegnazione o il rifiuto di prestazioni assicurative, la procedura concernente il ricorso per denegata o ritardata giustizia è gratuita (art. 134 OG). Tale principio vale anche dopo l'entrata in vigore della LPGA (cfr. ad es. la sentenza del 23 ottobre 2003 in re J., K 55/03, consid. 3). Ne consegue pertanto che l'istanza tendente all'ammissione all'assistenza giudiziaria è priva di oggetto.
7. 7.1 Malgrado non riguardi direttamente l'assegnazione o il rifiuto di prestazioni assicurative, la procedura concernente il ricorso per denegata o ritardata giustizia è gratuita (art. 134 OG). Tale principio vale anche dopo l'entrata in vigore della LPGA (cfr. ad es. la sentenza del 23 ottobre 2003 in re J., K 55/03, consid. 3). Ne consegue pertanto che l'istanza tendente all'ammissione all'assistenza giudiziaria è priva di oggetto.
8. Priva di oggetto si rivela infine, visto l'esito della procedura, anche la richiesta di W._ di essere posto al beneficio del gratuito patrocinio, l'insorgente, vincente in causa e patrocinato da un legale, avendo diritto al rimborso di spese ripetibili (art. 135 in relazione con l'art. 159 OG).

rulings:
Per questi motivi, il Tribunale federale delle assicurazioni pronuncia:
Per questi motivi, il Tribunale federale delle assicurazioni pronuncia:
1. In quanto ricevibile, il ricorso di diritto amministrativo è accolto nel senso che l'incarto è rinviato al Tribunale delle assicurazioni del Canton Ticino affinché si pronunci sul gravame presentato da W._ avverso l'atto 8 maggio 2003 della Cassa disoccupazione cristiano sociale OCST.
1. In quanto ricevibile, il ricorso di diritto amministrativo è accolto nel senso che l'incarto è rinviato al Tribunale delle assicurazioni del Canton Ticino affinché si pronunci sul gravame presentato da W._ avverso l'atto 8 maggio 2003 della Cassa disoccupazione cristiano sociale OCST.
2. Non si percepiscono spese giudiziarie.
2. Non si percepiscono spese giudiziarie.
3. La Cassa disoccupazione cristiano sociale OCST verserà al ricorrente la somma di fr. 2000.- (comprensiva dell'imposta sul valore aggiunto) a titolo di indennità di parte per la procedura federale.
3. La Cassa disoccupazione cristiano sociale OCST verserà al ricorrente la somma di fr. 2000.- (comprensiva dell'imposta sul valore aggiunto) a titolo di indennità di parte per la procedura federale.
4. La presente sentenza sarà intimata alle parti, alla Sezione cantonale del lavoro, al Tribunale cantonale delle assicurazioni, Lugano, e al Segretariato di Stato dell'economia.


facts:
Sachverhalt:
Sachverhalt:
A. Mit Kaufvertrag vom 10. Februar 1971 erwarben I._ und B._ von den Erben des K._ ein überbautes Grundstück in X._ (Parzelle Nr. 329, Plan 6) zu Miteigentum, welches sie anschliessend zu Stockwerkeigentum ausgestalteten und unter sich aufteilten. Danach hielten I._ 561/1000 und B._ 439/1000 des gesamten Miteigentums.
Ein gewerblich genutzter Anbau des Gebäudes ragte über die Parzelle in das ebenfalls im Eigentum der Verkäufer stehende Nachbargrundstück (Nr. 330) hinein. Darüber bestimmte der Kaufvertrag in Ziffer 2:
"Die Käufer nehmen ausdrücklich Akt, dass der Hinterteil des Geschäftes L._, soweit derselbe über die Grenze der Parzelle No. 329 in die Parzelle No. 330 übergreift (...) nicht verkauft wird und somit Eigentum der Verkäufer bleibt. Dieser Teil des Geschäftes wird, solange die Baute bestehen bleibt, den Käufern unentgeltlich zum Gebrauch überlassen (..)."
Der Raum bildete eine funktionale und wirtschaftliche Einheit mit den Geschäftslokalen Nrn. 12 und 13, welche B._ zu Sondernutzung zugeteilt wurden. Er und nach seinem Tode seine Erben vermieteten diese Lokale zusammen mit dem Anbau und bezogen den entsprechenden Mietpreis. Mitte August 1999 wurde der Anbau abgebrochen.
Der Raum bildete eine funktionale und wirtschaftliche Einheit mit den Geschäftslokalen Nrn. 12 und 13, welche B._ zu Sondernutzung zugeteilt wurden. Er und nach seinem Tode seine Erben vermieteten diese Lokale zusammen mit dem Anbau und bezogen den entsprechenden Mietpreis. Mitte August 1999 wurde der Anbau abgebrochen.
B. Mit Klage vom 29. November 2000 belangte die Ehefrau von I._ als dessen Zessionarin die Erben B._ auf die halben Mieteinnahmen aus dem Anbau. Den Kapitalanspruch bezifferte sie in der Klage mit Fr. 74'085.60 und im Laufe des Verfahrens mit Fr. 88'323.70.
Das Kantonsgericht Wallis wies die Klage mit Urteil vom 9. Juli 2003 vollumfänglich ab. Es erwog, nach dem übereinstimmenden Willen von I._ und B._ habe ausschliesslich diesem die von den Verkäufern prekaristisch überlassene Nutzung am Anbau zugestanden, mithin auch der daraus erzielte Mietertrag. Zudem hätten I._ und die Erben B._ im Zusammenhang mit einem Umbau des Gebäudes im Jahre 1987 einen Vergleich per Saldo aller gegenseitigen Ansprüche geschlossen, wovon ebenfalls der bereits damals von I._ beanspruchte Anteil an den Mieteinnahmen aus dem Anbau erfasst worden sei. Schliesslich wären die eingeklagten Ansprüche auch quantitativ nicht hinreichend nachgewiesen.
Das Kantonsgericht Wallis wies die Klage mit Urteil vom 9. Juli 2003 vollumfänglich ab. Es erwog, nach dem übereinstimmenden Willen von I._ und B._ habe ausschliesslich diesem die von den Verkäufern prekaristisch überlassene Nutzung am Anbau zugestanden, mithin auch der daraus erzielte Mietertrag. Zudem hätten I._ und die Erben B._ im Zusammenhang mit einem Umbau des Gebäudes im Jahre 1987 einen Vergleich per Saldo aller gegenseitigen Ansprüche geschlossen, wovon ebenfalls der bereits damals von I._ beanspruchte Anteil an den Mieteinnahmen aus dem Anbau erfasst worden sei. Schliesslich wären die eingeklagten Ansprüche auch quantitativ nicht hinreichend nachgewiesen.
C. Mit staatsrechtlicher Beschwerde beantragt Frau A._ dem Bundesgericht die Aufhebung des kantonsgerichtlichen Urteils. Sie rügt Verletzungen des Gleichbehandlungsgebots von Art. 8 BV sowie des Grundsatzes von Treu und Glauben und des Verbots von Willkür ge-mäss Art. 9 BV.
Die Beschwerdegegner schliessen auf Abweisung der Beschwerde. Das Kantonsgericht hat auf Vernehmlassung verzichtet.

considerations:
Das Bundesgericht zieht in Erwägung:
Das Bundesgericht zieht in Erwägung:
1. Weil die staatsrechtliche Beschwerde nicht einfach das vorangegangene kantonale Verfahren weiterführt, sondern als ausserordentliches Rechtsmittel ein selbständiges verfassungsgerichtliches Verfahren eröffnet, wendet das Bundesgericht hier das Recht nicht von Amtes wegen an, sondern beschränkt sich auf die Prüfung der rechtsgenüglich erhobenen und begründeten Rügen (BGE 129 I 113 E. 2.1 und 185 E. 1.6). Die Beschwerdeführerin hat die als verletzt behaupteten Verfassungsbestimmungen im Einzelnen zu nennen und überdies darzutun, inwiefern diese verletzt sein sollen (BGE 129 I 185 E. 1.6).
Auf ungenügend begründete Rügen und eine rein appellatorische Kritik am angefochtenen Entscheid tritt das Bundesgericht praxisgemäss nicht ein. Den Begründungsanforderungen an eine staatsrechtliche Beschwerde genügt namentlich nicht, wenn bloss mit pauschalen Vorwürfen behauptet wird, der angefochtene Entscheid verletze die Verfassung. Vielmehr ist substanziiert darzulegen, weshalb und inwiefern das kantonale Gericht verfassungsmässige Rechte der beschwerdeführenden Partei missachtet haben soll.
Auf ungenügend begründete Rügen und eine rein appellatorische Kritik am angefochtenen Entscheid tritt das Bundesgericht praxisgemäss nicht ein. Den Begründungsanforderungen an eine staatsrechtliche Beschwerde genügt namentlich nicht, wenn bloss mit pauschalen Vorwürfen behauptet wird, der angefochtene Entscheid verletze die Verfassung. Vielmehr ist substanziiert darzulegen, weshalb und inwiefern das kantonale Gericht verfassungsmässige Rechte der beschwerdeführenden Partei missachtet haben soll.
2. Weshalb und inwiefern das Kantonsgericht das Gebot der rechtsgleichen Behandlung der Prozessparteien missachtet haben soll, wird in der Beschwerde nicht begründet. Jedenfalls wird das Gebot nicht bereits dadurch verletzt, dass ein Zivilprozess zu Gunsten der einen und zu Lasten der andern Partei entschieden wird. Auf die Rüge ist nicht einzutreten.
2. Weshalb und inwiefern das Kantonsgericht das Gebot der rechtsgleichen Behandlung der Prozessparteien missachtet haben soll, wird in der Beschwerde nicht begründet. Jedenfalls wird das Gebot nicht bereits dadurch verletzt, dass ein Zivilprozess zu Gunsten der einen und zu Lasten der andern Partei entschieden wird. Auf die Rüge ist nicht einzutreten.
3. Der in Art. 9 BV verankerte Verfassungsgrundsatz von Treu und Glauben verleiht einer Person Anspruch auf Schutz berechtigten Vertrauens in bestimmte Erwartungen erweckendes Verhalten der Behörden (BGE 126 II 377 E. 3a). Dass gegenüber der Beschwerdeführerin ein schutzwürdiges Vertrauen im kantonalen Verfahren begründet und enttäuscht worden wäre, ist weder dargetan noch ersichtlich. Auf die Rüge ist ebenfalls nicht einzutreten.
3. Der in Art. 9 BV verankerte Verfassungsgrundsatz von Treu und Glauben verleiht einer Person Anspruch auf Schutz berechtigten Vertrauens in bestimmte Erwartungen erweckendes Verhalten der Behörden (BGE 126 II 377 E. 3a). Dass gegenüber der Beschwerdeführerin ein schutzwürdiges Vertrauen im kantonalen Verfahren begründet und enttäuscht worden wäre, ist weder dargetan noch ersichtlich. Auf die Rüge ist ebenfalls nicht einzutreten.
4. Nach den Feststellungen des Kantonsgerichts entsprach dem Willen der beiden Miteigentümer, dass die Nutzungsbefugnisse am Anbau ausschliesslich B._ zustehen sollten, weshalb dieser, beziehungsweise seine Erben, an den entsprechenden Mieteinnahmen allein berechtigt seien. Das Gericht zieht diesen Schluss im Wesentlichen aus dem Fehlen einer anderen Absprache unter den Miteigentümern und dem Umstand, dass der Anbau funktional stets zusammen mit zwei Stockwerkseinheiten von B._ (Geschäftslokale Nr. 12 und 13) genutzt und vermietet wurde und mit diesen eine geschäftliche Einheit bildete. Zu Lebzeiten von B._ hätten die Einnahmen aus der Vermietung des Anbaus denn auch nie Gegenstand von Meinungsverschiedenheiten unter den Miteigentümern gebildet. Die Beschwerdeführerin hält diese Feststellungen für willkürlich.
4.1 Ein Entscheid ist nicht bereits willkürlich, wenn eine andere Lösung ebenfalls vertretbar erscheint oder gar vorzuziehen wäre, sondern bloss, wenn er offensichtlich unhaltbar ist, zur tatsächlichen Situation in klarem Widerspruch steht, eine Norm oder einen unumstrittenen Rechtsgrundsatz krass verletzt oder sonstwie in stossender Weise dem Gerechtigkeitsgedanken zuwiderläuft. Willkür liegt nur vor, wenn nicht bloss die Begründung, sondern auch das Ergebnis unhaltbar ist (BGE 127 I 54 E. 2b mit Hinweisen).
Geht es um Beweiswürdigung und tatsächliche Feststellungen, steht dem Sachgericht nach der Rechtsprechung ein erheblicher Ermessensspielraum zu (BGE 120 Ia 31 E. 4b). Das Bundesgericht greift auf staatsrechtliche Beschwerde hin nur ein, wenn die Beweiswürdigung offensichtlich unhaltbar ist, wenn das Sachgericht in seinem Entscheid von Gegebenheiten ausgeht, die mit der tatsächlichen Situation in klarem Widerspruch stehen und auf einem offenkundigen Fehler beruhen oder wenn das Gericht erhebliche Beweise übersieht oder willkürlich ausser Acht lässt (BGE 129 I 49 E. 4; 120 Ia 31 E. 4b). Die den Willkürvorwurf begründenden Elemente sind dabei in der Beschwerde-schrift im Einzelnen aufzuzeigen (Art. 90 Abs. 1 lit. b OG; BGE 125 I 71 E. 1c). Es genügt namentlich nicht, wenn bloss mit pauschalen Vorbringen behauptet wird, der angefochtene Entscheid sei willkürlich. Vielmehr ist aufzuzeigen, weshalb und inwiefern bestimmte Feststellungen im beschriebenen Sinne unhaltbar sind.
4.2 Die Beschwerdeführerin stellt den Erwägungen des Kantonsgerichts im Wesentlich bloss die eigene abweichende Auffassung entgegen, womit sie ihrer Begründungsobliegenheit grundsätzlich nicht nachkommt. Die Feststellungen des Kantonsgerichts sodann sind durchaus nachvollziehbar, stehen mit der tatsächlichen Situation nicht in unvereinbarem Widerspruch und halten damit vor dem Willkürvorwurf stand. Was die Beschwerdeführerin dagegen vorbringt, ist offensichtlich ungeeignet, eine Verfassungsverletzung auszuweisen. Dass im Kaufvertrag die Verkäufer die Nutzung des Anbaus den Käufern auf Zusehen hin überliessen, beschlägt allein die Rechtsbeziehungen der Parteien des Kaufvertrages, nicht aber diejenigen zwischen den Käufern. Dass der Anbau nicht als Sonderrecht im Stockwerkeigentum ausgeschieden wurde, erklärt sich augenfällig aus dessen Lage ausserhalb der Miteigentumsparzelle und der fehlenden dinglichen Sicherung des Überbaus. Folgerichtig war der Raum auch in die Quotenberechnung nicht miteinzubeziehen. Dass der Anbau schliesslich funktional mit anderen, B._ zugewiesenen Geschäftsräumlichkeiten zusammenhing, lässt sich willkürfrei bereits aus dem Kaufvertrag ableiten, in welchem er als "Hinterteil des Geschäftes L._" bezeichnet wird.
4.2 Die Beschwerdeführerin stellt den Erwägungen des Kantonsgerichts im Wesentlich bloss die eigene abweichende Auffassung entgegen, womit sie ihrer Begründungsobliegenheit grundsätzlich nicht nachkommt. Die Feststellungen des Kantonsgerichts sodann sind durchaus nachvollziehbar, stehen mit der tatsächlichen Situation nicht in unvereinbarem Widerspruch und halten damit vor dem Willkürvorwurf stand. Was die Beschwerdeführerin dagegen vorbringt, ist offensichtlich ungeeignet, eine Verfassungsverletzung auszuweisen. Dass im Kaufvertrag die Verkäufer die Nutzung des Anbaus den Käufern auf Zusehen hin überliessen, beschlägt allein die Rechtsbeziehungen der Parteien des Kaufvertrages, nicht aber diejenigen zwischen den Käufern. Dass der Anbau nicht als Sonderrecht im Stockwerkeigentum ausgeschieden wurde, erklärt sich augenfällig aus dessen Lage ausserhalb der Miteigentumsparzelle und der fehlenden dinglichen Sicherung des Überbaus. Folgerichtig war der Raum auch in die Quotenberechnung nicht miteinzubeziehen. Dass der Anbau schliesslich funktional mit anderen, B._ zugewiesenen Geschäftsräumlichkeiten zusammenhing, lässt sich willkürfrei bereits aus dem Kaufvertrag ableiten, in welchem er als "Hinterteil des Geschäftes L._" bezeichnet wird.
5. Halten aber die Feststellungen des Kantonsgerichts zum übereinstimmenden Willen der Miteigentümer vor der Verfassung stand, sind die zusätzlichen Begründungen, welche zur Abweisung der Klage angeführt werden, nicht mehr zu prüfen, weil die Beschwerde insoweit auf einen blossen Streit über Begründungen hinausläuft und die Verfassungskonformität des angefochtenen Entscheids im Ergebnis nicht zu beeinflussen vermag (BGE 121 IV 94 E. 1b).
5. Halten aber die Feststellungen des Kantonsgerichts zum übereinstimmenden Willen der Miteigentümer vor der Verfassung stand, sind die zusätzlichen Begründungen, welche zur Abweisung der Klage angeführt werden, nicht mehr zu prüfen, weil die Beschwerde insoweit auf einen blossen Streit über Begründungen hinausläuft und die Verfassungskonformität des angefochtenen Entscheids im Ergebnis nicht zu beeinflussen vermag (BGE 121 IV 94 E. 1b).
6. Die Beschwerde ist offensichtlich unbegründet und abzuweisen, soweit darauf einzutreten ist. Bei diesem Ausgang des Verfahrens ist die Gerichtsgebühr der Beschwerdeführerin aufzuerlegen (Art. 156 Abs. 1 OG). Diese hat die Beschwerdegegner für das bundesgerichtliche Verfahren zu entschädigen (Art. 159 Abs. 1 und 2 OG).

rulings:
Demnach erkennt das Bundesgericht
im Verfahren nach Art. 36a OG
im Verfahren nach Art. 36a OG
1. Die staatsrechtliche Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
1. Die staatsrechtliche Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2. Die Gerichtsgebühr von Fr. 4'000.-- wird der Beschwerdeführerin auferlegt.
2. Die Gerichtsgebühr von Fr. 4'000.-- wird der Beschwerdeführerin auferlegt.
3. Die Beschwerdeführerin hat die Beschwerdegegner für das bundesgerichtliche Verfahren mit insgesamt Fr. 5'000.-- zu entschädigen.
3. Die Beschwerdeführerin hat die Beschwerdegegner für das bundesgerichtliche Verfahren mit insgesamt Fr. 5'000.-- zu entschädigen.
4. Dieses Urteil wird den Parteien und dem Kantonsgericht Wallis, Zivilgerichtshof I, schriftlich mitgeteilt.
Lausanne, 14. Oktober 2003
Im Namen der I. Zivilabteilung
des Schweizerischen Bundesgerichts
Der Präsident: Der Gerichtsschreiber:

region: Federation

bge_label: non-critical

citation_label: non-critical


facts:
Faits:
A. X._ SA est une société helvétique, active dans les domaines de la recherche, du développement et de la vente de systèmes et réseaux informatiques. En septembre 2004, elle a conclu un «contrat de vente n° xx» avec B._, qui est une «organisation gouvernementale de recherche, organisée [...] sous les lois de la Libye, dont le siège social est à Tripoli». Entre le 15 juin 2006 et le 2 août 2008, X._ SA a facturé, sur la base de ce contrat, une somme de xxxx Euros; elle a réclamé, de surcroît, le paiement d'une indemnité (contractuelle) à titre de «terminaison de contrat» de xxxx Euros; le montant total de ses prétentions s'élève ainsi à xxxx Euros, correspondant à xxxx fr.
B. B.a Le 9 décembre 2009, X._ SA a requis le séquestre des avoirs de «A._ (Etat de Libye) soit pour elle B._», ou «contrôlés par elle sous les noms de C._, D._ (Suisse) SA, Libya Africa Investment Portfolio, E._, F._ mais appartenant en réalité à l'intimée ou sur lesquels elle dispose d'une procuration ou de tous autres pouvoirs».
Par ordonnance du 10 décembre 2009, le Tribunal de première instance de Genève a donné suite à la requête à concurrence de xxxx fr. avec intérêts à 5% dès le 26 janvier 2009.
B.b Statuant le 16 juin 2010 sur l'opposition formée par Libya Africa Investment Portfolio, le Tribunal de première instance de Genève a, en particulier, révoqué l'ordonnance de séquestre en tant qu'elle porte sur des avoirs au nom de l'opposante (ch. 3).
Sur appel de la requérante, la Cour de justice du canton de Genève a, par arrêt du 12 août 2010, annulé ce jugement et, statuant à nouveau, rejeté l'opposition (ch. 1) et confirmé l'ordonnance de séquestre prise le 10 décembre 2009 à concurrence de xxxx fr. (ch. 2).
Par arrêt du 24 novembre 2011, le Tribunal fédéral a admis le recours de Libya Africa Investment Portfolio, annulé l'arrêt précité pour violation du droit d'être entendu et renvoyé la cause à l'autorité précédente pour qu'elle statue à nouveau (5A_812/2010).
B.c Par nouvel arrêt du 23 mars 2012, la Cour de justice du canton de Genève a confirmé le jugement de première instance.
C. Agissant le 30 avril 2012 par la voie d'un recours en matière civile au Tribunal fédéral, X._ SA conclut, sur le fond, à l'annulation de l'arrêt de la Cour de justice (ch. 1) et du jugement du Tribunal de première instance (ch. 2), au rejet de l'opposition (ch. 3) et à la confirmation de l'ordonnance de séquestre (ch. 4).
L'intimée propose le rejet du recours.
Les parties ont procédé à d'ultérieurs échanges d'écritures.

considerations:
Considérant en droit:
1. Les considérants de l'arrêt de renvoi du Tribunal fédéral (art. 107 al. 2 LTF) lient les parties et le Tribunal fédéral lui-même. Il s'ensuit que ce dernier ne peut pas se fonder sur des motifs qu'il avait écartés ou dont il avait fait abstraction dans sa précédente décision; quant aux parties, elles ne peuvent plus faire valoir, dans un nouveau recours contre la nouvelle décision cantonale, des moyens que le Tribunal fédéral avait rejetés dans son arrêt de renvoi (ATF 133 III 201 consid. 4.2) ou qu'il n'avait pas eu à examiner, faute pour les parties de les avoir invoqués dans la première procédure de recours, alors qu'elles pouvaient - et devaient - le faire (ATF 111 II 94 consid. 2). L'autorité précédente est tenue pour sa part de fonder sa nouvelle décision sur les considérants de droit de l'arrêt de renvoi; elle est liée par ce qui a déjà été tranché par le Tribunal fédéral, ainsi que par les constatations de fait qui n'ont pas été critiquées devant lui; des faits nouveaux ne peuvent être pris en considération que sur les points ayant fait l'objet du renvoi, lesquels ne peuvent être ni étendus, ni fondés sur une base juridique nouvelle (ATF 135 III 334 consid. 2 et les arrêts cités).
2. 2.1 Dans un premier grief, la recourante reproche à la Cour de justice d'avoir violé son droit d'être entendue, faute de s'être prononcée sur ses arguments «touchant à la légitimité de l'intimée de s'exprimer sur la créance»; en effet, l'autorité précédente ne pouvait examiner les griefs de l'intimée relatifs à la «vraisemblance de la créance» - comme le lui avait enjoint le Tribunal fédéral dans son arrêt de renvoi - sans avoir tranché au préalable le point de savoir si cette partie avait qualité pour discuter la créance invoquée à l'appui de la requête de séquestre. La recourante affirme, en outre, que l'examen de la créance a été «mené en violation arbitraire de l'art. 272 al. 1 ch. 1 LP».
2.2 La recourante se méprend sur la portée de l'arrêt de renvoi. L'affaire n'a pas été renvoyée à la juridiction cantonale pour qu'elle examine les «arguments de [l'intimée] touchant à la vraisemblance de la créance de [la recourante]» (consid. 3.2.4); en effet, le recours avait été admis pour un motif formel (i.e. violation du droit à une décision motivée) entraînant l'annulation de la décision attaquée sans égard au mérite des moyens de la partie victorieuse sur le fond (cf. parmi plusieurs: ATF 137 I 195 consid. 2.2 et la jurisprudence citée). Le Tribunal fédéral a cependant tenu à rectifier une erreur commise par l'autorité précédente (i.e. effets du commandement de payer non frappé d'opposition) afin d'éviter que, en cas de nouveau recours, il ne soit amené à casser derechef l'arrêt déféré pour le même motif (arbitraire). Il s'ensuit que l'examen des griefs portant sur la prétention invoquée ne s'impose que si la révocation du séquestre ne devait pas être confirmée pour les motifs avancés dans la décision attaquée (cf. infra, consid. 3).
3. 3.1 Après avoir admis que la recourante avait rendu vraisemblables ses prétentions à concurrence de xxxx fr., la juridiction précédente a néanmoins accueilli l'opposition de la société intimée pour le motif que le séquestre était «investigatoire». En tant qu'elle vise les avoirs de l'Etat de Libye déposés au nom de «D._ (Suisse) SA», respectivement de «D._ (Suisse) SA, Libya Africa Investment Portfolio», la mesure ne revêt aucun caractère investigatoire, car la recourante a produit des pièces qui démontrent que cette société avait libéré son capital-actions au G._ (Suisse) SA, de sorte que cette banque n'a pas été choisie «au hasard», mais en connaissance de cause. En revanche, tel n'est pas le cas concernant les avoirs de l'Etat de Libye détenus, sans précision de siège, par la société «Libya Africa Investment Portfolio», dès lors que la recourante n'a fourni, dans sa requête, aucun élément permettant de conclure à l'existence d'actifs appartenant à celle-ci (que ce soit une société sise à l'Ile Maurice ou à Tripoli) auprès de la banque précitée. Cette absence d'indication apparaît indéniable pour l'intimée, qui n'a jamais été citée dans la requête, laquelle se réfère à la société «Libya Africa Investment Portfolio», à Port Saint-Louis (Ile Maurice), ou à cette raison sociale en relation avec «D._ (Suisse) SA».
La cour cantonale a retenu que l'opposition était fondée pour un autre motif. Le séquestre a été requis sur les biens de l'Etat de Libye détenus par la société «D._ (Suisse) SA, Libya Africa Investment Portfolio», dénomination visant la même société suisse d'après les explications de la recourante; en dépit des apparences, il ne s'agit dès lors pas de deux entités distinctes; c'est la raison pour laquelle la requête n'a jamais visé les biens détenus par la société «Libya Africa Investment Portfolio» sise à Tripoli. Par conséquent, le séquestre a «porté par hasard», à la suite de la confusion intervenue entre ces raisons sociales. Si l'indication du nom des tiers à qui appartiennent formellement les avoirs séquestrés ne figure pas dans l'ordonnance, celle-ci n'est pas exécutable; dans le cas présent, la recourante n'a pas désigné l'intimée dans sa requête, ce qui justifie d'admettre l'opposition du tiers séquestré.
3.2 La recourante critique cette double motivation (cf. ATF 138 III 728 consid. 3.4, avec la jurisprudence citée): à son avis, la première viole arbitrairement l'art. 272 al. 1 LP, tandis que la seconde procède d'une appréciation arbitraire des preuves.
Comme le Tribunal fédéral statue sur la base des faits constatés par la juridiction précédente (art. 105 al. 1 LTF), il y a lieu d'examiner d'abord si la constatation selon laquelle la recourante n'a «jamais mentionné» la société intimée dans sa requête de séquestre est arbitraire. A ce sujet, il convient de rappeler que le Tribunal fédéral fait preuve de réserve en matière d'établissement des faits vu le large pouvoir qu'il reconnaît aux autorités cantonales, de sorte qu'il ne peut censurer la constatation en cause que si elle se révèle insoutenable (cf. sur ce point: ATF 136 III 552 consid. 4.2 et les arrêts cités).
Comme le Tribunal fédéral statue sur la base des faits constatés par la juridiction précédente (art. 105 al. 1 LTF), il y a lieu d'examiner d'abord si la constatation selon laquelle la recourante n'a «jamais mentionné» la société intimée dans sa requête de séquestre est arbitraire. A ce sujet, il convient de rappeler que le Tribunal fédéral fait preuve de réserve en matière d'établissement des faits vu le large pouvoir qu'il reconnaît aux autorités cantonales, de sorte qu'il ne peut censurer la constatation en cause que si elle se révèle insoutenable (cf. sur ce point: ATF 136 III 552 consid. 4.2 et les arrêts cités).
3.3 3.3.1 D'après la jurisprudence, il incombe au créancier séquestrant de rendre vraisemblable (art. 272 al. 1 ch. 3 LP) que les biens formellement au nom de tiers appartiennent en réalité au débiteur; dès lors, il doit indiquer le nom du tiers et ne peut se contenter de requérir le séquestre des biens du débiteur en ajoutant, de façon générique, qu'ils soient au nom de celui-ci ou à ceux de tiers (ATF 126 III 95 consid. 4a, avec les citations; arrêt 5A_726/2007 du 13 février 2008 consid. 2.1).
La constatation incriminée n'est pas arbitraire. La requête de séquestre mentionne à maintes reprises la société «D._ (Suisse) SA», mais il ne s'agit que d'une «abréviation de Libya Africa Investment Portfolio» pour la Suisse; cette allégation est corroborée par une lettre «d'acceptation de domiciliation» qui émane d'une fiduciaire genevoise attestant que «C._ et D._ (Suisse) SA utilisent indifféremment le nom D._ (Suisse) SA et Libya Africa Investment Portfolio pour exercer son activité de gestion de patrimoine pour le compte de l'Etat de Libye» (p. 4 in fine). La même dénomination de l'intimée apparaît sous une autre forme, mais en relation avec une «société à responsabilité limitée sise à Port-Louis (Ile Maurice)» (p. 2/3). L'avis de l'autorité précédente s'inscrit du reste dans le contexte de l'argumentation de la requérante, qui visait à démontrer que D._ (Suisse) SA était une «émanation et un prête-nom de l'Etat de Libye» et que, en dépit de la diversité (formelle) des entités, les droits patrimoniaux qui appartiennent nominalement à ladite société «reviennent en réalité à l'Etat de Libye» (p. 4).
La recourante affirme que le rapport entre D._ (Suisse) SA et l'intimée «saute aux yeux à toute personne qui examine attentivement les pièces 19, 10, 12 et 21» produites à l'appui de la requête de séquestre. Cette opinion est erronée, car aucune des pièces en discussion ne se réfère explicitement à une société ayant la raison sociale de l'intimée dont le siège se trouve en Libye:
- la pièce n° 10 concerne l'inscription de «D._ (Suisse) SA» au registre du commerce du canton de Genève (siège à Y._);
- la pièce n° 12 est l'acte constitutif de «D._ (Suisse) SA»;
- la pièce n° 19 mentionne, certes, le nom de «D._ Libya Investment Portfolio», mais sans autre précision, et indique notamment que ladite société ne distribuera pas de dividendes;
- la pièce n° 21 est une lettre dans laquelle une fiduciaire genevoise confirme accepter «la domiciliation de la société D._ (Suisse) SA Libya Africa Investment Portfolio» en ses locaux.
Au demeurant, il n'est pas arbitraire d'admettre que le tiers doit être désigné dans la requête de séquestre elle-même, non seulement dans les pièces produites à l'appui de celle-ci (cf. sur les exigences strictes relatives à la requête de séquestre: COMETTA, Il sequestro nella prassi giudiziaria ticinese, in: Rep. 133/2000 p. 10 ch. 3.1). La procédure étant soumise en l'occurrence à la maxime de disposition, l'argumentation de la recourante aurait pour conséquence de permettre au juge d'ordonner le séquestre de biens dont les titulaires (formels) ne résultent que des pièces produites par le séquestrant; or, cela reviendrait à accorder au juge la possibilité de compléter d'office une requête lacunaire, ce qui est exclu (dans ce sens: REEB, Les mesures provisoires dans la procédure de poursuite, in: RDS 1997 II p. 466).
3.3.2 Le motif pris du caractère «investigatoire» du séquestre n'est pas davantage arbitraire.
La jurisprudence n'a pas défini la notion de séquestre «investigatoire», qui reste controversée (cf. GILLIÉRON, Le séquestre investigatoire: mythe ou réalité?, in: RDS 1987 I p. 41 ss et les nombreuses citations; HENRY PETER, Les mesures provisionnelles dans la poursuite pour dettes et la faillite, in: Mesures provisionnelles judiciaires et administratives, 1999, p. 75 et n. 24; LEMBO, Le séquestre des comptes des succursales requis au siège de la banque: une porte ouverte au séquestre investigatoire?, in: PJA 2003 p. 805, avec d'autres références). Dans un arrêt récent, le Tribunal fédéral a jugé que, afin d'éviter tout séquestre investigatoire, le requérant doit rendre vraisemblable le lieu où sont localisés les droits patrimoniaux à séquestrer; s'agissant d'avoirs bancaires, il doit indiquer la banque dépositaire (arrêt 5A_402/2008 consid. 3.1, in: SJ 2009 I 301 et les citations).
Comme on l'a vu (cf. supra, consid. 3.3.1), le séquestre a porté sur les droits patrimoniaux d'un tiers (intimée) qui n'était pas formellement visé par la requête de séquestre; en d'autres termes, la mesure a frappé des avoirs dont la recourante elle-même ne connaissait ni l'existence, ni la localisation. S'il ne s'agit dès lors pas d'un séquestre «investigatoire» à proprement parler - lequel suppose que le requérant cherche à tout le moins à appréhender les biens d'une personne déterminée et désignée nommément -, il n'en demeure pas moins que, dans le cas présent, le séquestre a bien frappé d'une manière fortuite les biens de l'intimée; il n'est donc pas insoutenable d'avoir assimilé cette hypothèse à celle du séquestre frappant les biens se trouvant «par hasard» en mains de la banque détentrice des fonds.
4. 4.1 La recourante reproche en outre à la juridiction précédente d'avoir violé les «art. 2 al. 2 CC et 17 CEDH»; elle soutient que l'admission du caractère investigatoire du séquestre pour faire obstacle à l'exécution forcée sur les biens de son débiteur constitue un «abus de droit à la personnalité juridique», dès lors que les relations bancaires de l'intimée auprès de G._ (Suisse) SA et l'appartenance à l'Etat libyen des biens placés sous main de justice sont par ailleurs «démontrées et admises» par la cour cantonale.
4.2 Comme le relève avec raison l'intimée, cette critique est dépourvue de pertinence. L'autorité précédente a accueilli l'opposition parce que le séquestre avait frappé «au hasard» les avoirs de l'intimée, qui n'était, de surcroît, pas visée par la requête; puisque celle-ci ne désigne - sans arbitraire - qu'une société (cf. supra, consid. 3.3.1), l'argumentation de la recourante, qui repose sur l'abus de droit à invoquer la diversité des sujets pour se soustraire à l'exécution forcée (cf. sur ce point: ATF 102 III 165 consid. II/1, avec les citations; en dernier lieu: arrêt 5A_330/2012 du 17 juillet 2012 consid. 3.1), apparaît ainsi hors sujet.
5. 5.1 Dans un dernier moyen, la recourante se plaint d'une violation de la garantie de la propriété (art. 26 Cst.). Elle soutient que, en décidant une levée partielle du séquestre frappant les biens de l'Etat de Libye inscrits au nom de l'intimée, la juridiction précédente a «détruit [son] espérance légitime [...] d'obtenir la jouissance effective de son droit de propriété sur les biens saisissables de son débiteur», dès lors qu'il est probable que le solde des biens séquestrés ne suffira pas à éteindre la dette de l'Etat de Libye à son égard.
5.2 Ce grief est irrecevable à un double titre: D'une part, il ne ressort pas de la décision attaquée que la recourante se serait prévalue de ce moyen lors de la procédure précédente (cf. supra, consid. 1). D'autre part, l'intéressée ne démontre pas (art. 106 al. 2 LTF) que la garantie invoquée s'appliquerait dans les rapports horizontaux, à savoir dans les litiges entre particuliers (pour la liberté économique [art. 27 Cst.]: arrêt 5A_871/2009 du 2 juin 2010 consid. 2); il n'appartient pas au Tribunal fédéral d'examiner d'office cette question dans un recours où le principe iura novit curia n'entre pas en considération (cf. HOHL, Procédure civile, t. II, 2e éd., 2010, n° 3120).
Au demeurant, l'argument est pour le moins spécieux. La recourante n'est aucunement «expropriée» d'une partie de sa créance et conserve en tout état de cause la possibilité de rechercher son débiteur (i.e. Etat de Libye) pour le solde non couvert de sa réclamation, le cas échéant en requérant un séquestre complémentaire.
6. En conclusion, le recours est rejeté dans la mesure où il est recevable, avec suite de frais et dépens à la charge de la recourante (art. 66 al. 1 et art. 68 al. 1 et 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. Les frais judiciaires, arrêtés à 15'000 fr., sont mis à la charge de la recourante.
3. Une indemnité de 20'000 fr., à payer à l'intimée à titre de dépens, est mise à la charge de la recourante.
4. Le présent arrêt est communiqué aux parties, à l'Office des poursuites de Genève et à la Chambre civile de la Cour de justice du canton de Genève.
Lausanne, le 11 avril 2013
Au nom de la IIe Cour de droit civil
du Tribunal fédéral suisse
Le Président: von Werdt
Le Greffier: Braconi


considerations:
Erwägungen:
1. X._ erstattete am 27. März 2012 Strafanzeige gegen Y._ bei der Stadtpolizei Winterthur. Die Staatsanwaltschaft Winterthur / Unterland nahm mit Verfügung vom 11. Juli 2012 die Strafuntersuchung nicht anhand. Gegen diese Verfügung wandte sich X._ mit einer in französischer Sprache abgefassten Eingabe vom 25. Juli 2012 an die III. Strafkammer des Obergerichts des Kantons Zürich. Die Strafkammer wies die Eingabe mit Verfügung vom 30. Juli 2012 zur Verbesserung zurück; Eingaben an Zürcher Gerichte hätten auf Deutsch zu erfolgen und die Begründungspflicht verlange eine inhaltliche Auseinandersetzung mit den Erwägungen der angefochtenen Verfügung. Weiter wurde angeordnet, dass bei Säumnis auf die Beschwerde nicht eingetreten werde. Am 8. August 2012 reichte X._ erneut ein in französischer Sprache verfasstes Schreiben ein. Da eine in der Amtssprache Deutsch verfasste Verbesserung der Beschwerdeschrift innert Frist nicht einging, trat die III. Strafkammer des Obergerichts des Kantons Zürich mit Beschluss vom 23. August 2012 androhungsgemäss auf die Beschwerde nicht ein. Die Strafkammer führte zur Begründung zusammenfassend aus, dass gemäss Art. 67 Abs. 1 StPO Bund und Kantone die Verfahrenssprachen ihrer Strafbehörden bestimmen würden. Im Kanton Zürich sei die Amtssprache gemäss Art. 48 der Kantonsverfassung Deutsch. Aus Art. 68 Abs. 3 StPO ergebe sich, dass Eingaben von Parteien in der Verfahrenssprache abzufassen sind.
2. X._ führt mit Eingabe vom 9. September 2012 (Postaufgabe 10. September 2012) Beschwerde in Strafsachen gegen den Beschluss der III. Strafkammer des Obergerichts des Kantons Zürich. Das Bundesgericht verzichtete auf die Einholung von Vernehmlassungen.
3. Nach Art. 42 Abs. 2 BGG ist in der Begründung einer Beschwerde in gedrängter Form darzulegen, inwiefern der angefochtene Entscheid Recht verletzt. Die Bestimmungen von Art. 95 ff. BGG nennen die vor Bundesgericht zulässigen Beschwerdegründe. Hinsichtlich der Verletzung von Grundrechten gilt der in Art. 106 Abs. 1 BGG verankerte Grundsatz der Rechtsanwendung von Amtes wegen nicht; insofern besteht eine qualifizierte Rügepflicht (Art. 106 Abs. 2 BGG; BGE 136 I 49 E. 1.4.1 S. 53, 65 E. 1.3.1 S. 68 mit Hinweisen). Es obliegt dem Beschwerdeführer namentlich darzulegen, inwiefern der angefochtene Entscheid gegen die gerügten Grundrechte verstossen soll. Das Bundesgericht prüft nur klar und detailliert erhobene und, soweit möglich, belegte Rügen.
Der Beschwerdeführer beruft sich u.a. auf Art. 4 (Landessprachen) und Art. 70 BV (Sprachen). Inwiefern diese verfassungsrechtlichen Bestimmungen das Obergericht des Kantons Zürich verpflichten sollten, eine nicht in der Amtssprache Deutsch verfasste Rechtsschrift nach unbenutztem Ablauf einer Nachfrist zu behandeln, legt der Beschwerdeführer nicht im Einzelnen dar. Aus seinen Ausführungen ergibt sich nicht, inwiefern die Begründung bzw. der Nichteintretensbeschluss selber im Ergebnis Recht im Sinne von Art. 42 Abs. 2 BGG verletzen sollte. Die Beschwerde genügt daher den gesetzlichen Formerfordernissen nicht, weshalb auf sie nicht einzutreten ist. Der Begründungsmangel ist offensichtlich, weshalb über die Beschwerde im vereinfachten Verfahren nach Art. 108 Abs. 1 lit. b BGG entschieden werden kann.
4. Auf eine Kostenauflage kann verzichtet werden (Art. 66 Abs. 1 BGG).

rulings:
Demnach erkennt der Präsident:
1. Auf die Beschwerde wird nicht eingetreten.
2. Es werden keine Kosten erhoben.
3. Dieses Urteil wird den Parteien, der Staatsanwaltschaft Winterthur / Unterland und dem Obergericht des Kantons Zürich, III. Strafkammer, schriftlich mitgeteilt.
Lausanne, 18. September 2012
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Fonjallaz
Der Gerichtsschreiber: Pfäffli


facts:
Sachverhalt:
Sachverhalt:
A. Der Kantonsrat des Kantons Zürich veröffentlichte im Amtsblatt des Kantons Zürich vom 20. September 2002 seinen Beschluss über die Verteilung der Kantonsratsmandate für die Amtsdauer 2003-2007. Er wies darin den einzelnen Wahlkreisen die Anzahl Mitglieder im Kantonsrat gemäss Art. 32 Abs. 2 KV und § 74 des Gesetzes des Kantons Zürich vom 4. September 1983 über die Wahlen und Abstimmungen (Wahlgesetz, WAG) zu. Der Regierungsrat des Kantons Zürich ordnete am 23. Oktober 2002 gestützt auf § 7 Abs. 1 WAG sowie auf § 1 Abs. 1 des Gesetzes des Kantons Zürich vom 5. April 1981 über die Organisation und die Geschäftsordnung des Kantonsrates (Kantonsratsgesetz) an, die Erneuerungswahl des Kantonsrates finde am 6. April 2003 statt. Gleichzeitig erliess er die weiteren erforderlichen Anordnungen zur Durchführung der Wahlen. Insbesondere forderte er die Stimmberechtigten auf, die Wahlvorschläge bis am 11. Februar 2003 und die Erklärungen über Listenverbindungen bis am 5. März 2003 bei den Präsidenten der Kreiswahlvorsteherschaften einzureichen. Diese wurden zudem angewiesen, die Veröffentlichung der Listen und Listenverbindungen sowie die weiteren zur Durchführung der Wahlen notwendigen Verfügungen zu erlassen. Dieser Beschluss des Regierungsrates wurde im Amtsblatt des Kantons Zürich vom 1. November 2002 veröffentlicht.
Die Präsidenten der Kreiswahlvorsteherschaften der Wahlkreise I bis VI (Stadt Zürich), VIII (Affoltern), XIII (Pfäffikon), XV (Winterthur-Land) und XVI (Andelfingen) veröffentlichten die Listen und Listenverbindungen gemäss § 77 Abs. 3 und § 81 WAG im März 2003.
Die Präsidenten der Kreiswahlvorsteherschaften der Wahlkreise I bis VI (Stadt Zürich), VIII (Affoltern), XIII (Pfäffikon), XV (Winterthur-Land) und XVI (Andelfingen) veröffentlichten die Listen und Listenverbindungen gemäss § 77 Abs. 3 und § 81 WAG im März 2003.
B. X._ und neun Mitbeteiligte reichten gegen diese Verfügungen am 31. März 2003 gemeinsam je eine Beschwerde bei der Direktion der Justiz und des Innern und beim Regierungsrat des Kantons Zürich ein. Sie beantragten in beiden Beschwerden im Wesentlichen die Aufhebung der Verfügungen des Präsidenten des Zentralwahlbüros der Stadt Zürich sowie der Präsidenten der Kreiswahlvorsteherschaften der Wahlkreise VIII, XII, XV und XVI.
Die Direktion der Justiz und des Innern und der Regierungsrat des Kantons Zürich traten am 4. April bzw. 16. April 2003 auf die Beschwerden nicht ein.
Die Direktion der Justiz und des Innern und der Regierungsrat des Kantons Zürich traten am 4. April bzw. 16. April 2003 auf die Beschwerden nicht ein.
C. X._ und sechs Mitbeteiligte führen gegen den Entscheid des Regierungsrats mit Eingabe vom 30. Mai 2003 staatsrechtliche Beschwerde. Sie stellen den Antrag, den Nichteintretensentscheid vom 16. April 2003 aufzuheben.
Am 19. Mai 2003 hatten sie bereits eine separate staatsrechtliche Beschwerde gegen den Nichteintretensentscheid der Direktion der Justiz und des Innern vom 4. April 2003 erhoben (Verfahren 1P.313/2003).
Am 19. Mai 2003 hatten sie bereits eine separate staatsrechtliche Beschwerde gegen den Nichteintretensentscheid der Direktion der Justiz und des Innern vom 4. April 2003 erhoben (Verfahren 1P.313/2003).
D. Es sind keine Vernehmlassungen eingeholt worden.

considerations:
Das Bundesgericht zieht in Erwägung:
Das Bundesgericht zieht in Erwägung:
1. Im Rahmen der Verfahrensinstruktion hat sich ergeben, dass die 30-tägige Frist zur Einreichung der staatsrechtlichen Beschwerde (Art. 89 Abs. 1 OG) nicht eingehalten worden ist. Die Beschwerdeführer bestreiten dies nicht. Indessen stellen sie sich auf den Standpunkt, das Bundesgericht müsse gleichwohl auf ihre staatsrechtliche Beschwerde eintreten, weil sie Nichtigkeit und die Verletzung von unverjährbaren und unverzichtbaren Rechten geltend machten.
1. Im Rahmen der Verfahrensinstruktion hat sich ergeben, dass die 30-tägige Frist zur Einreichung der staatsrechtlichen Beschwerde (Art. 89 Abs. 1 OG) nicht eingehalten worden ist. Die Beschwerdeführer bestreiten dies nicht. Indessen stellen sie sich auf den Standpunkt, das Bundesgericht müsse gleichwohl auf ihre staatsrechtliche Beschwerde eintreten, weil sie Nichtigkeit und die Verletzung von unverjährbaren und unverzichtbaren Rechten geltend machten.
2. Im parallelen Verfahren 1P.313/2003 hat das Bundesgericht am 6. Oktober 2003 in Bezug auf den die gleichen Sachumstände betreffenden Entscheid der Direktion der Justiz und des Innern des Kantons Zürich vom 4. April 2003 im Wesentlichen zweierlei erkannt: Zum einen könne nicht von der Nichtigkeit des Kantonsratsbeschlusses vom 26. August 2002 ausgegangen werden; zum andern könne auch nicht angenommen werden, es stünden unverjährbare und unverzichtbare Rechte der Beschwerdeführer zur Diskussion (vgl. E. 3 und 4 des genannten bundesgerichtlichen Urteils). Für die Anfechtung des Regierungsratsbeschlusses vom 16. April 2003 gilt nichts anderes. Damit ist der Argumentation der Beschwerdeführer die Grundlage entzogen. Es bleibt dabei, dass ihre staatsrechtliche Beschwerde verspätet ist, weshalb darauf nicht eingetreten werden kann.
2. Im parallelen Verfahren 1P.313/2003 hat das Bundesgericht am 6. Oktober 2003 in Bezug auf den die gleichen Sachumstände betreffenden Entscheid der Direktion der Justiz und des Innern des Kantons Zürich vom 4. April 2003 im Wesentlichen zweierlei erkannt: Zum einen könne nicht von der Nichtigkeit des Kantonsratsbeschlusses vom 26. August 2002 ausgegangen werden; zum andern könne auch nicht angenommen werden, es stünden unverjährbare und unverzichtbare Rechte der Beschwerdeführer zur Diskussion (vgl. E. 3 und 4 des genannten bundesgerichtlichen Urteils). Für die Anfechtung des Regierungsratsbeschlusses vom 16. April 2003 gilt nichts anderes. Damit ist der Argumentation der Beschwerdeführer die Grundlage entzogen. Es bleibt dabei, dass ihre staatsrechtliche Beschwerde verspätet ist, weshalb darauf nicht eingetreten werden kann.
3. Nach der Praxis des Bundesgerichts werden bei Stimmrechtsbeschwerden keine Kosten erhoben. Mit Blick auf den Prozessausgang besteht auch kein Anspruch auf eine Parteientschädigung (Art. 159 OG).

rulings:
Demnach erkennt das Bundesgericht:
Demnach erkennt das Bundesgericht:
1. Auf die Stimmrechtsbeschwerde wird nicht eingetreten.
1. Auf die Stimmrechtsbeschwerde wird nicht eingetreten.
2. Es werden keine Kosten erhoben.
2. Es werden keine Kosten erhoben.
3. Dieses Urteil wird den Beschwerdeführern, dem Präsidenten des Zentralwahlbüros der Stadt Zürich als Kreiswahlvorsteherschaft der Wahlkreise I bis VI, Stadt Zürich, der Präsidentin der Kreiswahlvorsteherschaft des Wahlkreises VIII, Affoltern, dem Präsidenten der Kreiswahlvorsteherschaft des Wahlkreises XIII, Pfäffikon, dem Präsidenten der Kreiswahlvorsteherschaft des Wahlkreises XV, Winterthur-Land, dem Präsidenten des Kreiswahlvorsteherschaft des Wahlkreises XVI, Andelfingen, und dem Regierungsrat des Kantons Zürich schriftlich mitgeteilt.
Lausanne, 6. Oktober 2003
Im Namen der I. öffentlichrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Der Gerichtsschreiber:


facts:
Faits:
Faits:
A. En 1991, A._ SA était propriétaire d'un bâtiment sis à Pully. Selon bail à loyer conclu le 29 novembre 1990, elle a loué, dans ce bâtiment, un local commercial et un dépôt à B._ SA. Selon un avenant souscrit le 12 décembre, la propriétaire et bailleresse a accepté de prendre en charge des travaux d'aménagement des locaux; en contrepartie, le loyer serait majoré de 415 fr. par mois durant dix ans. La location a commencé le 1er mars 1991; la gérance de l'immeuble était alors confiée à la société C._ SA.
Dès février 1994, d'entente avec la bailleresse, B._ SA a cédé le bail à Y._ qui, désormais, occupait les locaux. Le loyer à acquitter par elle, inchangé, s'élevait à 2'385 fr. par mois, charges en sus.
Dès le 1er janvier 2001, A._ SA a confié la gérance de l'immeuble à D._ SA. Elle a ensuite vendu ce bien à X._; la mutation fut inscrite au registre foncier le 28 décembre 2001.
Dès le 1er janvier 2001, A._ SA a confié la gérance de l'immeuble à D._ SA. Elle a ensuite vendu ce bien à X._; la mutation fut inscrite au registre foncier le 28 décembre 2001.
B. Le 22 septembre 2005, Y._ a saisi la Commission de conciliation en matière de baux à loyer immobiliers du district de Lausanne. Sa requête était dirigée contre A._ SA, représentée par D._ SA. Elle avait récemment pris connaissance de l'avenant daté du 12 décembre 1997 et découvert qu'elle payait chaque mois, depuis avril 2001, un montant de 415 fr. qu'elle ne devait prétendument pas. Elle réclamait le remboursement de ces sommes que la bailleresse avait indûment perçues.
D._ SA fut citée à l'audience du 10 janvier 2006. Son directeur comparut et expliqua que le bailleur était alors X._; ce dernier fut mentionné en qualité de partie sur le procès-verbal. La Commission ne parvint à aucune conciliation.
D._ SA fut citée à l'audience du 10 janvier 2006. Son directeur comparut et expliqua que le bailleur était alors X._; ce dernier fut mentionné en qualité de partie sur le procès-verbal. La Commission ne parvint à aucune conciliation.
C. Le 9 février 2006, Y._ a ouvert action contre X._ devant le Tribunal des baux du canton de Vaud. Sa demande tendait à faire constater que le loyer mensuel s'élevait à 1'970 fr., charges en sus par 170 fr., dès le 1er avril 2001, et à faire condamner le propriétaire défendeur au remboursement de 22'410 fr. reçus indûment depuis cette date. Les conclusions correspondantes étaient numérotées I à III et VII.
La demanderesse avait par ailleurs, selon ses allégations, résilié le bail et présenté un candidat à la reprise des locaux, solvable et disposé à acquitter le même loyer, cela au plus tard en septembre 2004; elle soutenait ne plus devoir ni loyer ni charges depuis le 1er octobre 2004 et elle prétendait au remboursement de 36'380 fr. versés sans obligation. Les conclusions correspondantes étaient numérotées IV à VI.
A l'audience du 31 octobre 2006, avec l'accord des parties, le tribunal décida de disjoindre ces conclusions n° IV à VI et de les renvoyer à la Commission de conciliation; l'instruction se poursuivrait sur les conclusions n° I à III et VII qui avaient déjà été soumises à cet organe.
Par prononcé du 7 décembre 2006, le tribunal a décidé de renvoyer également les conclusions n° I à III et VII à la Commission de conciliation, au motif que la demanderesse avait dirigé sa requête du 22 septembre 2005 contre A._ SA alors que X._ avait seul qualité pour défendre. Si la conciliation échouait, la demanderesse devrait entreprendre une nouvelle instance devant le Tribunal des baux.
La demanderesse ayant déféré ce prononcé au Tribunal cantonal, la Chambre des recours de ce tribunal a statué le 4 juillet 2007. Elle a jugé qu'un essai de conciliation était dûment intervenu entre la demanderesse et X._, lors de l'audience de la Commission du 10 janvier 2006; elle a admis le recours et réformé la décision attaquée pour prononcer que les conclusions n° I à III et VII sont recevables devant le Tribunal des baux.
La demanderesse ayant déféré ce prononcé au Tribunal cantonal, la Chambre des recours de ce tribunal a statué le 4 juillet 2007. Elle a jugé qu'un essai de conciliation était dûment intervenu entre la demanderesse et X._, lors de l'audience de la Commission du 10 janvier 2006; elle a admis le recours et réformé la décision attaquée pour prononcer que les conclusions n° I à III et VII sont recevables devant le Tribunal des baux.
D. Agissant principalement par la voie du recours en matière civile et subsidiairement par celle du recours constitutionnel, X._ requiert le Tribunal fédéral de réformer l'arrêt de la Chambre des recours en ce sens que les conclusions n° I à III et VII de la demanderesse, dans sa requête du 9 février 2006, sont irrecevables devant le Tribunal des baux.
La demanderesse conclut au rejet des recours, dans la mesure où ils sont recevables.

considerations:
Considérant en droit:
Considérant en droit:
1. Au regard de l'art. 92 al. 1 LTF, l'arrêt de la Chambre des recours est une décision incidente concernant la compétence du Tribunal des baux (arrêt 4A_237/2007 du 28 septembre 2007, consid. 2.1, destiné à la publication); il est susceptible de recours selon cette disposition.
Pour le surplus, le recours est dirigé contre un jugement rendu en matière civile (art. 72 al. 1 LTF) et en dernière instance cantonale (art. 75 al. 1 LTF). La valeur litigieuse excède le minimum légal de 15'000 fr. prévu en matière de droit du bail à loyer (art. 51 al. 1 let. c et 74 al. 1 let. a LTF). Il est formé par une partie qui a pris part à l'instance précédente et succombé dans ses conclusions (art. 76 al. 1 LTF). Déposé en temps utile (art. 100 al. 1 LTF) et dans les formes requises (art. 42 al. 1 à 3 LTF), le recours en matière civile est en principe recevable, de sorte que le recours constitutionnel, subsidiaire (art. 113 LTF), est exclu.
Le recours peut être exercé pour violation du droit fédéral (art. 95 let. a LTF). Le Tribunal fédéral applique ce droit d'office, hormis les droits fondamentaux (art. 106 LTF). Il n'est pas lié par l'argumentation des parties et il apprécie librement la portée juridique des faits; il s'en tient cependant, d'ordinaire, aux questions juridiques que la partie recourante soulève conformément aux exigences légales relatives à la motivation du recours (art. 42 al. 2 LTF; ATF 133 II 249 consid. 1.4.1 p. 254); il ne se prononce sur la violation de droits fondamentaux que si le grief est invoqué et motivé de façon détaillée (art. 106 al. 2 LTF; même arrêt, consid. 1.4.2). En règle générale, il conduit son raisonnement juridique sur la base des faits constatés dans la décision attaquée (art. 105 al. 1 LTF).
Le recours n'est pas recevable pour violation du droit cantonal, hormis les droits constitutionnels cantonaux (art. 95 let. c LTF) et certaines dispositions sans pertinence en matière civile (art. 95 let. d LTF).
Le recours n'est pas recevable pour violation du droit cantonal, hormis les droits constitutionnels cantonaux (art. 95 let. c LTF) et certaines dispositions sans pertinence en matière civile (art. 95 let. d LTF).
2. X._ reproche à la Chambre des recours d'avoir violé l'art. 274a CO en tant que cette disposition exige que toute contestation relative à un bail de chose immobilière, avant d'être portée devant le juge, soit soumise à une autorité paritaire de conciliation. Selon son exposé, l'essai de conciliation du 10 janvier 2006 ne s'est pas accompli entre lui et la demanderesse car celle-ci avait dirigé sa requête contre l'ancienne propriétaire A._ SA; dans ces conditions, la gérante D._ SA n'était pas habilitée à le représenter en justice.
La procédure de conciliation devant un organe paritaire, constitué conformément à l'art. 274a al. 2 CO, est en effet imposée par le droit fédéral dans les contestations concernant des baux d'habitation ou de locaux commerciaux; ce droit interdit au juge d'entrer en matière si l'autorité de conciliation n'a pas préalablement statué sur le litige, lorsque la loi lui en attribue la compétence, ou, dans les autres cas, constaté l'échec de la conciliation (art. 274e al. 1 et 2, 274f al. 1 CO). En raison de sa composition spécifique et de sa spécialisation, l'autorité paritaire de conciliation est en mesure de conseiller les parties et de favoriser leur accord; elle est instituée dans l'intérêt de la procédure simple et rapide exigée par l'art. 274d al. 1 CO (ATF 118 II 307; arrêt 4A_237/2007 du 28 septembre 2007, consid. 5.1, destiné à la publication).
En l'occurrence, la demanderesse a d'abord dirigé sa requête contre A._ SA. Dès l'audience de conciliation du 10 janvier 2006, sur la base des explications du directeur de D._ SA, elle l'a dirigée contre X._. D._ SA était le mandataire chargé par ce dernier de gérer et administrer l'immeuble; c'est à ce titre que, par son directeur, elle se présentait devant la Commission. Au regard de cette situation, la Chambre des recours peut retenir sans violer le droit fédéral que la conciliation a été tentée, au cours de cette audience, entre la demanderesse et X._, de sorte que le Tribunal des baux doit se saisir des prétentions qui étaient alors en discussion et que la demanderesse persiste à élever contre le même défendeur.
A l'audience, la demanderesse a certes modifié sa requête en substituant ledit défendeur à A._ SA, mais une mutation de ce genre, régie par le droit cantonal de procédure, ne met pas en cause l'art. 274a CO. Pour le surplus, X._ ne prétend pas que si la requête avait été d'emblée dirigée contre lui, il se serait fait représenter par un mandataire autre que D._ SA devant la Commission de conciliation; il ne prétend pas non plus qu'il aurait donné à son représentant des instructions tendant à une issue amiable du litige. Il persiste d'ailleurs à s'opposer aux prétentions de la demanderesse. Il ne peut donc pas, de bonne foi, se refuser à ratifier la position que la gérante a adoptée en son nom devant la Commission. Ainsi, le moyen tiré d'un pouvoir de représentation manquant n'est pas non plus concluant.
A l'audience, la demanderesse a certes modifié sa requête en substituant ledit défendeur à A._ SA, mais une mutation de ce genre, régie par le droit cantonal de procédure, ne met pas en cause l'art. 274a CO. Pour le surplus, X._ ne prétend pas que si la requête avait été d'emblée dirigée contre lui, il se serait fait représenter par un mandataire autre que D._ SA devant la Commission de conciliation; il ne prétend pas non plus qu'il aurait donné à son représentant des instructions tendant à une issue amiable du litige. Il persiste d'ailleurs à s'opposer aux prétentions de la demanderesse. Il ne peut donc pas, de bonne foi, se refuser à ratifier la position que la gérante a adoptée en son nom devant la Commission. Ainsi, le moyen tiré d'un pouvoir de représentation manquant n'est pas non plus concluant.
3. X._ fait valoir que la citation à l'audience de conciliation, adressée à D._ SA, n'indiquait pas la partie contre qui la requête était dirigée. A ce sujet, il se plaint de violation de l'art. 9 de la loi vaudoise du 12 mai 1982 fixant la procédure dans les contestations relatives aux baux à loyer immobiliers et aux baux à ferme non agricoles, d'après lequel la Commission de conciliation doit adresser une convocation aux parties. Or, cette disposition cantonale n'est pas au nombre des règles que l'on peut invoquer selon l'art. 95 LTF; le grief est donc irrecevable.
3. X._ fait valoir que la citation à l'audience de conciliation, adressée à D._ SA, n'indiquait pas la partie contre qui la requête était dirigée. A ce sujet, il se plaint de violation de l'art. 9 de la loi vaudoise du 12 mai 1982 fixant la procédure dans les contestations relatives aux baux à loyer immobiliers et aux baux à ferme non agricoles, d'après lequel la Commission de conciliation doit adresser une convocation aux parties. Or, cette disposition cantonale n'est pas au nombre des règles que l'on peut invoquer selon l'art. 95 LTF; le grief est donc irrecevable.
4. Le recours se révèle privé de fondement, dans la mesure où les griefs présentés sont recevables. A titre de partie qui succombe, son auteur doit acquitter l'émolument à percevoir par le Tribunal fédéral et les dépens auxquels l'autre partie peut prétendre.

rulings:
Par ces motifs, le Tribunal fédéral prononce:
Par ces motifs, le Tribunal fédéral prononce:
1. Le recours constitutionnel est irrecevable.
1. Le recours constitutionnel est irrecevable.
2. Le recours en matière civile est rejeté, dans la mesure où il est recevable.
2. Le recours en matière civile est rejeté, dans la mesure où il est recevable.
3. X._ acquittera un émolument judiciaire de 2'000 fr.
3. X._ acquittera un émolument judiciaire de 2'000 fr.
4. X._ versera une indemnité de 2'500 fr. à la demanderesse à titre de dépens.
4. X._ versera une indemnité de 2'500 fr. à la demanderesse à titre de dépens.
5. Le présent arrêt est communiqué aux mandataires des parties et au Tribunal cantonal du canton de Vaud.
Lausanne, le 13 décembre 2007
Au nom de la Ire Cour de droit civil
du Tribunal fédéral suisse
Le président: Le greffier:
Corboz Thélin


facts:
Faits:
A.
G._, travaillait en qualité de monteur au service après-vente de l'entreprise X._ SA, active dans l'installation, l'entretien et la réparation d'ascenseurs. A ce titre, il était assuré contre les accidents et les maladies professionnelles par la Caisse nationale suisse d'assurance en cas d'accidents (CNA).
Le 28 août 2009, l'entreprise X._ SA a annoncé un accident LAA bagatelle survenu le 25 mai 2009. Selon la déclaration de sinistre, l'employé avait pris place sur la cabine d'un ascenseur pour procéder à un contrôle de fonctionnement. N'ayant pas pu stopper la montée de la cabine, il a subi un choc lequel a été amorti par la casquette à coque qu'il portait. Victime d'un traumatisme, il ne pouvait plus ni penser ni appeler au secours. Finalement, il a pu s'extraire seul de la cage d'ascenseur.
Consulté le 8 juin 2009, le docteur C._, spécialiste de médecine interne, a constaté la présence de céphalées mal systématisées (plutôt hémicrânies droites) persistantes, de tremblements, de difficultés de concentration et mnésiques ainsi que de fourmillements. Il a diagnostiqué une symptomatologie compatible avec un syndrome post-commotionnel avec également des répercussions sur le psychisme (réaction anxio-dépressive, syndrome de stress post-traumatique [PTSD ?]; rapport du 23 octobre 2009). L'examen neurologique, pratiqué dans l'intervalle par le docteur P._, n'a montré que les signes d'un tunnel carpien bilatéral des membres supérieurs. Ce médecin a relevé que la symptomatologie fluctuante associant céphalées, vertiges, difficultés de concentration, troubles du sommeil, hypoesthésie fluctuante de l'hémicorps gauche et sensation de faiblesse généralisée était vraisemblablement à intégrer dans un contexte anxio-dépressif réactionnel au conflit professionnel (rapport du 27 août 2009). Une IRM cérébrale pratiquée par le docteur S._, radiologue, n'a mis en évidence aucun signe de contusion hémorragique (rapport du 28 août 2009). Dans son rapport du 30 octobre 2009, la doctoresse U._ du Centre Y._, à Genève, où l'assuré a été pris en charge du 15 septembre au 4 novembre 2009, a diagnostiqué un épisode dépressif (F. 32 selon CIM-10).
Pour le docteur R._, neurologue, qui a examiné l'assuré en date des 17 février et 10 mars 2010, l'examen neurologique se caractérisait essentiellement par des troubles sensitifs subjectifs intéressant l'hémicrâne, l'hémiface et la partie gauche du cou, auxquels se surajoutaient des plaintes cognitives chez un patient présentant des difficultés psychiques. Pour le docteur R._, l'ensemble de ces symptômes semblaient s'être développés dans un contexte de traumatisme, de revendication par rapport à l'ex-employeur et dans le cadre d'un possible conflit assécurologique (rapport du 18 février 2010).
G._ a séjourné à l'Hôpital Z._ du 13 au 21 avril 2010, où les doctoresses E._ et O._, neurologues, ont diagnostiqué un syndrome de stress post-traumatique suite à un accident en mai 2009 et les cormorbidités inactives suivantes : lombosciatalgies droites non déficitaires, sinusite chronique et trouble dépressif récurrent avec épisode sévère et symptômes psychotiques en septembre 2009 (ayant nécessité une hospitalisation au CTB; rapport du 30 avril 2010). A l'issue de ce séjour, le 21 avril 2010, l'assuré a été examiné par L._ et F._, neuropsychologues. Ces spécialistes ont retenu que les difficultés constatées à l'examen touchaient principalement la mémoire épisodique verbale et les fonctions exécutives, lesquelles étaient d'intensité globalement légère à modérée. En parallèle à ces symptômes neuropsychologiques, ont été relevés des signes significatifs de la ligne anxio-dépressive (rapport du 30 avril 2010).
Le docteur V._, psychiatre traitant, a posé, dans son rapport du 20 mai 2010, les diagnostics d'état de stress post-traumatique (F 43.1 selon CIM-10), de trouble dépressif récurrent, épisode actuel léger à moyen (F 33.1 selon CIM-10), de trouble somatoforme indifférencié possible (F 45.1 selon CIM-10) et de traits de personnalité anxieuse (F 60.6 selon CIM-10).
Dans son rapport du 29 juin 2010 le docteur I._, psychiatre et médecin d'arrondissement de la CNA, a diagnostiqué un état de stress post-traumatique (F 43.1 selon CIM-10), un trouble de la personnalité, sans précision (F 60.5 selon CIM-10) et des troubles hypocondriaques (F 45.2 selon CIM-10). Pour sa part, le docteur A._, chirurgien orthopédiste et médecin d'arrondissement de la CNA, n'a relevé aucune lésion structurelle objectivable sur le plan somatique (rapport du 18 octobre 2010).
Par décision du 25 octobre 2010, la CNA a refusé toute prestation, au motif qu'il n'y avait aucun lien de causalité avéré ou probable entre l'accident du 25 mai 2009 et les atteintes diagnostiquées.
A la suite de l'opposition de G._ et après compléments d'instruction, la CNA a nié l'existence d'un accident et confirmé son refus de prester (décision sur opposition du 23 décembre 2011).
B.
G._ a déféré cette décision à la Cour de Justice de la République et canton de Genève, Chambre des assurances sociales, qui, par jugement du 16 octobre 2012, a rejeté le recours.
C.
G._ interjette un recours en matière de droit public contre ce jugement, dont il demande l'annulation. Sous suite de dépens, il conclut, principalement, à la reconnaissance d'un droit aux prestations à la suite de l'accident du 25 mai 2009 et au renvoi de la cause à la CNA pour déterminer les prestations. Subsidiairement, il demande le renvoi du dossier à la juridiction cantonale pour instruction complémentaire, singulièrement la mise sur pied d'une expertise médicale psycho-traumatique.
La CNA a conclu au rejet du recours alors que l'Office fédéral de la santé publique a renoncé à se déterminer.

considerations:
Considérant en droit:
1.
Le litige porte sur le droit du recourant à des prestations pécuniaires de l'assurance-accidents. Le Tribunal fédéral n'est pas lié par l'état de fait constaté par la juridiction inférieure (art. 97 al. 2 LTF).
2.
La juridiction cantonale a admis que le recourant souffrait d'un stress post-traumatique et que l'événement, survenu le 25 mai 2009, n'avait pas pu causer un traumatisme psychique constituant un accident. En l'absence d'événement accidentel, elle a refusé d'ordonner l'expertise psycho-traumatologique demandée par le recourant pour établir d'éventuelles autres atteintes à la santé.
3.
Le recourant conteste l'appréciation de la juridiction cantonale. Il soutient qu'il s'est trouvé en face d'un danger vital et qu'il a eu la vie sauve uniquement grâce à l'espace de survie de 40 cm de hauteur situé dans le plafond de la cage d'ascenseur. Il explique que la frayeur s'est emparée de lui non pas sur le moment même mais lorsque qu'il a réalisé ce à quoi il avait échappé. Il fait valoir que ces circonstances étaient propres à provoquer un choc émotionnel suffisamment important pour engendrer un traumatisme psychique profond. En particulier, le recourant fait grief à la juridiction cantonale d'avoir retenu, de façon insoutenable, que le fait de se trouver coincé dans l'espace de survie ne constituait pas une menace vitale. Par ailleurs, il réitère sa demande d'expertise.
4.
4.1. Selon la jurisprudence, un traumatisme psychique (Schreckereignis) constitue un accident au sens de l'art. 4 LPGA, lorsqu'il est le résultat d'un événement d'une grande violence survenu en présence de la personne assurée et que l'événement dramatique est propice à faire naître une terreur subite même chez une personne moins capable de supporter les chocs nerveux. Mais seuls des événements extraordinaires propices à susciter l'effroi et entraînant des chocs psychiques eux-mêmes extraordinaires remplissent la condition du caractère extraordinaire de l'atteinte et, partant, sont constitutifs d'un accident (ATF 129 V 402 consid. 2.1 p. 404 ; Frésard/Moser-Szeless, L'assurance-accidents obligatoire, in : Schweizerisches Bundesverwaltungsrecht [SBVR], Soziale Sicherheit, vol. XIV, 2ème éd., N° 77).
4.2. Au vu de la jurisprudence exposée ci-dessus, les circonstances du cas d'espèce ne permettent pas de conclure à l'existence d'un traumatisme psychique constitutif d'un accident. Le recourant - au bénéfice d'une longue expérience dans la réparation et l'entretien des ascenseurs - a procédé à des essais de mouvements de la cabine alors qu'il se trouvait sur celle-ci. Cette procédure de contrôle de fonctionnement de l'ascenseur était connue de l'intéressé. La cabine montait lorsqu'il a voulu la stopper au dernier étage. Cette manoeuvre d'arrêt ayant échoué, il a alors pressé le bouton d'arrêt d'urgence, qui n'a pas non plus interrompu la montée de la cabine. A ce moment-là, le recourant pouvait craindre qu'un accident ne survienne. Toutefois, pour le cas où il aurait eu des doutes sur la présence d'un espace de survie sur l'installation, un simple regard vers le haut lui permettait d'en constater l'existence et ainsi de lui enlever toute crainte d'écrasement. L'exiguïté de l'espace de survie ne rendait pas si terrorisante la manoeuvre, d'autant moins qu'elle n'a provoqué aucune atteinte physique. Quant à la peur postérieure à l'incident, elle est survenue alors que tout risque avait disparu. Dans de telles circonstances, on ne saurait considérer que le recourant a été exposé à un événement d'une grande violence propre à faire naître une terreur subite même chez une personne moins apte à surmonter certains chocs nerveux.
5.
Le recourant a demandé la mise sur pied d'une expertise psycho-traumatologique. Elle a, à juste titre, été refusée par la juridiction cantonale car la contestation ne porte pas sur la nature des atteintes dont souffre le recourant mais bien sur l'existence même d'un accident au sens de l'art. 4 LPGA, qui est une notion juridique. Le recours n'est pas fondé sur ce point non plus.
Le recours doit donc être rejeté.
6.
Le recourant, qui succombe, supportera les frais judiciaires (art. 66 al. 1 LTF). 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é.
2.
Les frais judiciaires, fixés à 750 fr., sont mis à la charge du recourant.
3.
Le présent arrêt est communiqué aux parties, à la Cour de justice de la République et canton de Genève, Chambre des assurances sociales, et à l'Office fédéral de la santé publique.
Lucerne, le 27 août 2013
Au nom de la Ire Cour de droit social
du Tribunal fédéral suisse
La Présidente: Leuzinger
La Greffière: Berset