Fatti
La società Entreprises Immobilières S.A. ha concluso tre contratti di locazione con Louis Blanchard, Dino Zanotti e Michèle Zanotti per l'affitto di vari locali in un edificio a Ginevra. Nel settembre 1973, la locatrice ha informato i locatari che avrebbe richiesto il pagamento del canone di locazione trimestralmente anticipato a partire dal 1° dicembre 1973. Il 27 marzo 1974, ha diffidato i locatari a pagare i canoni del trimestre dal 1° marzo al 31 maggio 1974, minacciando la risoluzione e lo sfratto in caso di mancato pagamento entro 30 giorni, conformemente all'art. 265 CO. I locatari hanno pagato il 13 maggio 1974, ma la locatrice ha successivamente richiesto la ripresa della procedura di sfratto per i canoni successivi.
Il Tribunale di primo grado di Ginevra ha ordinato lo sfratto immediato dei locatari, una decisione confermata in appello dalla Corte di giustizia del Cantone di Ginevra. I locatari hanno quindi ricorso al Tribunale federale per far annullare l'ordine di sgombero e ottenere il rinnovo tacito dei loro contratti di locazione.
Legge
Il Tribunale federale ha stabilito che la procedura di sfratto a seguito della risoluzione del contratto di locazione per mancato pagamento del canone entro il termine di 30 giorni fissato dal locatore ai sensi dell'art. 265 CO non è una controversia civile ai sensi dell'art. 46 OJ, ma una procedura di esecuzione forzata disciplinata dal diritto cantonale.
Anche se il giudice cantonale competente per lo sfratto può esaminare liberamente se le condizioni per lo stesso siano soddisfatte,…