10695
Commento:
|
7139
|
Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
Linea 1: | Linea 1: |
## page was renamed from Fcm/Edizione/Recensione5 #acl GruppoAdmin:admin,read,write,revert GruppoOperatori:admin,read,write,revert GruppoEditori:read,write,revert CristianoLuinetti:admin,read,write,revert MarcoBuono:admin,read,write,revert AldoLatino:admin,read,write,revert GruppoFcm:read,write,revert -All:read -Known:read |
#acl GruppoAdmin:admin,read,write,revert GruppoOperatori:admin,read,write,revert GruppoEditori:read,write,revert GruppoFcm:read,write,revert palombo:admin,read,write,revert new.life:admin,read,write,revert paolettopn:admin,read,write,revert Known:read All:read |
Linea 4: | Linea 4: |
Linea 6: | Linea 5: |
D&R Scritto da Gord Campbell **** Se avete delle domande su Ubuntu, scrivetecele a questions@fullcirclemagazine.org e Gordon vi risponderà in un prossimo numero Si prega di inserire il maggior numero di informazioni che possano servire a risolvere il vostro problema. **** D: Utilizzo Evolution per la mia email. Non posso spostare un’email da Posta Indesiderata a un’altra cartella, poiché viene fatta una copia del messaggio, che rimane ancora nella Posta Indesiderata. R: (Grazie a Barry del gruppo Yahoo Ubuntu Linux) Contrassegnala come ‘non indesiderata’ prima di provare a spostarla. ------------------------ D: Utilizzo la versione a lungo termine di Ubuntu, ma mi piacerebbe avere le versioni successive delle applicazioni. R: Dai un’occhiata a questo articolo nei Documenti della Comunità: https://help.ubuntu.com/community/UbuntuBackports ------------------ D: Sto cercando software Linux che faccia quello che il seguente software fa in Windows: EMCO MoveOnBoot 2.2.5 Unlocker 1.9.1 XPlite/2000Lite nLite Faronics Anti-Executable 3.40 (or) Faronics Deep Freeze 6.62 DriveShield Plus R: Molti di questi non sono necessari in Linux. Remastersys è simile a nLite o Deep Freeze. ---------------------- D: In Libre Office o in Open Office, come posso trovare e sostituire le interruzioni di paragrafo? R: (Grazie a David Shaw del gruppo Yahoo Ubuntu Linux) Nella finestra Trova e Sostituisci, clicca su “Altre Opzioni”. Spunta ‘Espressioni Regolari’. Una lista di espressioni regolari comuni può essere trovata su http://help.libreoffice.org/Common/List_of_Regular_Expressions Per esempio, per trovare una tabulazione, o sostituire con una tabulazione, usa \t nell’apposita casella. Le interruzioni di paragrafo vengono trovate/sostituite con un simbolo ‘$’. Se tu volessi effettivamente trovare/sostituire un simbolo del dollaro, dovresti usare ‘\$’, o disabilitare le espressioni regolari. --------------------- D: Ho installato la 11.04 senza problemi da circa 2 settimane. Ho cambiato qualcosa in compiz e adesso, quando avvio il computer, non c’è nessun menu a sinistra o in alto. R: Segui questa guida di risoluzione dei problemi: http://www.tuxgarage.com/2011/04/missing-top-and-side-panels-in-unity.html ------------------------- D: Vorrei comprare un monitor – quale è compatibile? R: Qualsiasi monitor dovrebbe funzionare bene, se il tuo PC ha il giusto connettore per esso (HDMI/DVI/VGA/Displayport). -------------------------- Wind Mobile offre un servizio di banda larga mobile con il dispositivo E1691 di Huawei. Come posso utilizzarlo? R: http://hireknowledge.ca/pdf/Tutorial_Huawei_E1691_Linux_v1.0.pdf Questo tutorial dovrebbe anche fornire suggerimenti per persone con altre chiavette Internet su altre reti wireless. ------------------------ D: Ho installato Ubuntu 9.04 da CD su un vecchio computer che avevo in giro. Ho provato a installare le versioni 10 e 11, ma il computer girava molto molto lentamente, mentre con la 9.04 va abbastanza bene. Provando a fare sudo apt-get update fallisce per qualsiasi cosa perché non riesce a trovare i file online. Ho letto che la versione 9.04 non è supportata e anche questi vecchi file non sono più disponibili. Cosa posso fare? R: Prova la versione corrente di Xubuntu o Lubuntu. ------------------------- D: Ho una scheda grafica AMD Radeon HD5770. La ventola di raffreddamento della GPU gira sempre alla massima velocità, indipendentemente dal carico della GPU. Questo rende il rumore del mio PC simile a quello di un jet che decolla. R: Si è scoperto che installando il driver FGLRX il problema alla ventola viene risolto. ------------------------ D: Uso Ubuntu 10.04. La mia HP B110A stampa bene, ma non fa le scansioni. R: Installa l’ultima versione di HPLIP: sudo add-apt-repository ppa:hplip-isv/ppa sudo apt-get update sudo apt-get install hplip --------------------- D: Mi piace l’ambiente desktop di Xfce, ma l’unico problema è che non posso avviare nessun programma perché non ho idea di come dargli i permessi per lanciarli. Per esempio, ho installato un file .jar e ho Java 6 Runtime installato, ma non so come dargli i permessi per avviarlo. R: Si è scoperto che un jar non deve essere contrassegnato come eseguibile per essere avviato. Da terminale, CD alla cartella nella quale si trova il jar, poi dai questo comando: java –jar (dove jar è il nome del file). ---------------------- D: Se ho scaricato la 10.10 a 64 bit e la installo da una live usb, “sovrascriverà” la vecchia installazione a 32 bit? R: Si. --------------------------- D: Non posso più utilizzare Update Manager perché sto ricevendo il problema “Non abbastanza spazio libero sul disco”. R: Dando il comando: df –h si è visto che solo la partizione di boot aveva poco spazio. Avvia Synaptic Package Manager per rimuovere completamente i vecchi kernel, poi: sudo update-grub |
COS È – RASPBERRY PI Scritto da TEAM LinQuestus L'idea di un computer per bambini piccolo ed economico nacque nel 2006, quando Eben Upton e i suoi colleghi nel Laboratorio di Informatica dell'Università di Cambridge vennero turbati dal declino, anno dopo anno più evidente, del numero e del livello di capacità degli studenti di Livello A di ogni anno accademico impegnati nello studio dell'Informatica. Dal 2006 al 2008, Eben ha disegnato diverse versioni di ciò che è conosciuto con il nome di Raspberry Pi. Dal 2008, i processori disegnati per i dispositivi mobili stavano diventando più affidabili e abbastanza potenti da fornire una eccellente multimedialità, ed Eden intuì che ciò avrebbe reso la scheda appetibile per quei ragazzini che altrimenti non sarebbero stati interessati in uno strumento di pura programmazione. Attualmente, Pete Lomas è un amministratore della fondazione Raspberry Pi. Ha disegnato l'hardware finale che ha consentito di arrivare al Raspberry Pi. Raspberry Pi è oggi usato in un gran numero di dispositivi, dall'educazione al divertimento. Molti ricercatori hanno cominciato a lavorare su Raspberry Pi per fornire uno strumento di computazione efficiente ed economico. Su Raspberry Pi Raspeberry Pi è un computer delle dimensioni di un Bancomat. Collegandolo alla TV e ad una tastiera, funziona come un normale computer. È un piccolo PC, che può essere usato per molte delle cose che il vostro PC desktop fa, come fogli di calcolo, scrittura di documenti e giochi. Potete vederci Youtube in qualità HD. Potete programmare che il vostro robot di cattura scatti immagini di aree differenti. Collegandolo ad un display esterno, potete anche disegnare tavole per annunci pubblicitari. Ma non è da utilizzare solo come dispositivo integrato, può anche sostituire un server con caratteristiche di portabilità e plug&play. Con un costo approssimativo di 25$, è molto economico sia per gli studenti che per i ricercatori che lavorano nel campo degli integrati e dell'open source. Ne esistono due modelli, RPi-A e RPi-B disponibili nello store. I dettagli tecnici per entrambi sono riportati qui a destra. Articolo compilato da: TEAM LinQuestus Prof. Chirag K. Gohel (Assistente del Dipartimento di Computer & IT) Sig. Himanshu Madhvani (Studente ultimo anno in IT) Sig. Sunil Lalvani (Studente ultimo anno in IT) Sig. Sagar Rangani (Studente ultimo anno in IT) Sig.a Avni Savaliya (Studente ultimo anno in IT) http://www.facebook.com/Linquestus http://linquestus.in **********TABELLA*********************** Specifiche Prezzo approssimativo SoC Processore GPU Memoria USB Uscita Video Uscita Audio Disco Rigido Rete Consumo di Energia Sistema Operativo Modello – A 25 $ Broadcom BCM2835 (CPU, GPU, DSP, SDRAM e una singola porta USB, Processore Broadcom Media ARM (11 generazione) da 700 Mhz Broadcom VideoCore IV 256 MB (Condivisi con la GPU) 1 RCA Composita, 1.4 HDMI JACK da 3.5 mm, HDMI  Lettore di schede SD/MMC No 300mA Debian GNU/Linux, Fedora, Arch Linux ARM Modello – B 35 $ 512 MB (condivisa con la GPU) 2 Ethernet 10/100 700mA |
Linea 137: | Linea 116: |
plug&play l'ho lasciato così per non sforare gli spazi a disposizione. Altrimenti si può tradurre con "senza bisogno di installazione" | |
Linea 141: | Linea 119: |
D&R Scritto da Gord Campbell **** Se avete delle domande su Ubuntu, scrivetecele a questions@fullcirclemagazine.org e Gordon vi risponderà in un prossimo numero Si prega di inserire il maggior numero di informazioni che possano servire a risolvere il vostro problema. **** D: Utilizzo Evolution per la mia email. Non posso spostare un’email da Posta Indesiderata a un’altra cartella, poiché viene fatta una copia del messaggio, che rimane ancora nella Posta Indesiderata. R: (Grazie a Barry del gruppo Yahoo Ubuntu Linux) Contrassegnala come ‘non indesiderata’ prima di provare a spostarla. ------------------------ D: Utilizzo la versione a lungo termine di Ubuntu, ma mi piacerebbe avere le versioni successive delle applicazioni. R: Dai un’occhiata a questo articolo nei Documenti della Comunità: https://help.ubuntu.com/community/UbuntuBackports ------------------ D: Sto cercando software Linux che faccia quello che il seguente software fa in Windows: EMCO MoveOnBoot 2.2.5 Unlocker 1.9.1 XPlite/2000Lite nLite Faronics Anti-Executable 3.40 (or) Faronics Deep Freeze 6.62 DriveShield Plus R: Molti di questi non sono necessari in Linux. Remastersys è simile a nLite o Deep Freeze. ---------------------- D: In Libre Office o in Open Office, come posso trovare e sostituire le interruzioni di paragrafo? R: (Grazie a David Shaw del gruppo Yahoo Ubuntu Linux) Nella finestra Trova e Sostituisci, clicca su “Altre Opzioni”. Spunta ‘Espressioni Regolari’. Una lista di espressioni regolari comuni può essere trovata su http://help.libreoffice.org/Common/List_of_Regular_Expressions Per esempio, per trovare una tabulazione, o sostituire con una tabulazione, usa \t nell’apposita casella. Le interruzioni di paragrafo vengono trovate/sostituite con un simbolo ‘$’. Se tu volessi effettivamente trovare/sostituire un simbolo del dollaro, dovresti usare ‘\$’, o disabilitare le espressioni regolari. --------------------- D: Ho installato la 11.04 senza problemi da circa 2 settimane. Ho cambiato qualcosa in compiz e adesso, quando avvio il computer, non c’è nessun menu a sinistra o in alto. R: Segui questa guida di risoluzione dei problemi: http://www.tuxgarage.com/2011/04/missing-top-and-side-panels-in-unity.html ------------------------- D: Vorrei comprare un monitor – quale è compatibile? R: Qualsiasi monitor dovrebbe funzionare bene, se il tuo PC ha il giusto connettore per esso (HDMI/DVI/VGA/Displayport). -------------------------- Wind Mobile offre un servizio di banda larga mobile con il dispositivo E1691 di Huawei. Come posso utilizzarlo? R: http://hireknowledge.ca/pdf/Tutorial_Huawei_E1691_Linux_v1.0.pdf Questo tutorial dovrebbe anche fornire suggerimenti per persone con altre chiavette Internet su altre reti wireless. ------------------------ D: Ho installato Ubuntu 9.04 da CD su un vecchio computer che avevo in giro. Ho provato a installare le versioni 10 e 11, ma il computer girava molto molto lentamente, mentre con la 9.04 va abbastanza bene. Provando a fare sudo apt-get update fallisce per qualsiasi cosa perché non riesce a trovare i file online. Ho letto che la versione 9.04 non è supportata e anche questi vecchi file non sono più disponibili. Cosa posso fare? R: Prova la versione corrente di Xubuntu o Lubuntu. ------------------------- D: Ho una scheda grafica AMD Radeon HD5770. La ventola di raffreddamento della GPU gira sempre alla massima velocità, indipendentemente dal carico della GPU. Questo rende il rumore del mio PC simile a quello di un jet che decolla. R: Si è scoperto che installando il driver FGLRX il problema alla ventola viene risolto. ------------------------ D: Uso Ubuntu 10.04. La mia HP B110A stampa bene, ma non fa le scansioni. R: Installa l’ultima versione di HPLIP: sudo add-apt-repository ppa:hplip-isv/ppa sudo apt-get update sudo apt-get install hplip --------------------- D: Mi piace l’ambiente desktop di Xfce, ma l’unico problema è che non posso avviare nessun programma perché non ho idea di come dargli i permessi per lanciarli. Per esempio, ho installato un file .jar e ho Java 6 Runtime installato, ma non so come dargli i permessi per avviarlo. R: Si è scoperto che un jar non deve essere contrassegnato come eseguibile per essere avviato. Da terminale, CD alla cartella nella quale si trova il jar, poi dai questo comando: java –jar (dove jar è il nome del file). ---------------------- D: Se ho scaricato la 10.10 a 64 bit e la installo da una live usb, “sovrascriverà” la vecchia installazione a 32 bit? R: Si. --------------------------- D: Non posso più utilizzare Update Manager perché sto ricevendo il problema “Non abbastanza spazio libero sul disco”. R: Dando il comando: df –h si è visto che solo la partizione di boot aveva poco spazio. Avvia Synaptic Package Manager per rimuovere completamente i vecchi kernel, poi: sudo update-grub |
COS È – RASPBERRY PI Scritto da TEAM LinQuestus L'idea di un computer per bambini piccolo ed economico nacque nel 2006, quando Eben Upton e i suoi colleghi nel Laboratorio di Informatica dell'Università di Cambridge vennero turbati dal declino, anno dopo anno più evidente, del numero e del livello di capacità degli studenti di Livello A di ogni anno accademico impegnati nello studio dell'Informatica. Dal 2006 al 2008, Eben ha disegnato diverse versioni di ciò che è conosciuto con il nome di Raspberry Pi. Dal 2008, i processori disegnati per i dispositivi mobili stavano diventando più affidabili e abbastanza potenti da fornire una eccellente multimedialità, ed Eden intuì che ciò avrebbe reso la scheda appetibile per quei ragazzini che altrimenti non sarebbero stati interessati in uno strumento di pura programmazione. Attualmente, Pete Lomas è un amministratore della fondazione Raspberry Pi. Ha disegnato l'hardware finale che ha consentito di arrivare al Raspberry Pi. Raspberry Pi è oggi usato in un gran numero di dispositivi, dall'educazione al divertimento. Molti ricercatori hanno cominciato a lavorare su Raspberry Pi per fornire uno strumento di computazione efficiente ed economico. Su Raspberry Pi Raspeberry Pi è un computer delle dimensioni di un Bancomat. Collegandolo alla TV e ad una tastiera, funziona come un normale computer. È un piccolo PC, che può essere usato per molte delle cose che il vostro PC desktop fa, come fogli di calcolo, scrittura di documenti e giochi. Potete vederci Youtube in qualità HD. Potete programmare che il vostro robot di cattura scatti immagini di aree differenti. Collegandolo ad un display esterno, potete anche disegnare tavole per annunci pubblicitari. Ma non è da utilizzare solo come dispositivo integrato, può anche sostituire un server con caratteristiche di portabilità e plug&play. Con un costo approssimativo di 25$, è molto economico sia per gli studenti che per i ricercatori che lavorano nel campo degli integrati e dell'open source. Ne esistono due modelli, RPi-A e RPi-B disponibili nello store. I dettagli tecnici per entrambi sono riportati qui a destra. Articolo compilato da: TEAM LinQuestus Prof. Chirag K. Gohel (Assistente del Dipartimento di Computer & IT) Sig. Himanshu Madhvani (Studente ultimo anno in IT) Sig. Sunil Lalvani (Studente ultimo anno in IT) Sig. Sagar Rangani (Studente ultimo anno in IT) Sig.a Avni Savaliya (Studente ultimo anno in IT) http://www.facebook.com/Linquestus http://linquestus.in **********TABELLA*********************** Specifiche Prezzo approssimativo SoC Processore GPU Memoria USB Uscita Video Uscita Audio Disco Rigido Rete Consumo di Energia Sistema Operativo Modello – A 25 $ Broadcom BCM2835 (CPU, GPU, DSP, SDRAM e una singola porta USB, Processore Broadcom Media ARM (11 generazione) da 700 Mhz Broadcom VideoCore IV 256 MB (Condivisi con la GPU) 1 RCA Composita, 1.4 HDMI JACK da 3.5 mm, HDMI  Lettore di schede SD/MMC No 300mA Debian GNU/Linux, Fedora, Arch Linux ARM Modello – B 35 $ 512 MB (condivisa con la GPU) 2 Ethernet 10/100 700mA |
Linea 270: | Linea 233: |
Linea 272: | Linea 234: |
Traduzione italiana
COS È – RASPBERRY PI
Scritto da TEAM LinQuestus
L'idea di un computer per bambini piccolo ed economico nacque nel 2006, quando Eben Upton e i suoi colleghi nel Laboratorio di Informatica dell'Università di Cambridge vennero turbati dal declino, anno dopo anno più evidente, del numero e del livello di capacità degli studenti di Livello A di ogni anno accademico impegnati nello studio dell'Informatica.
Dal 2006 al 2008, Eben ha disegnato diverse versioni di ciò che è conosciuto con il nome di Raspberry Pi. Dal 2008, i processori disegnati per i dispositivi mobili stavano diventando più affidabili e abbastanza potenti da fornire una eccellente multimedialità, ed Eden intuì che ciò avrebbe reso la scheda appetibile per quei ragazzini che altrimenti non sarebbero stati interessati in uno strumento di pura programmazione.
Attualmente, Pete Lomas è un amministratore della fondazione Raspberry Pi. Ha disegnato l'hardware finale che ha consentito di arrivare al Raspberry Pi.
Raspberry Pi è oggi usato in un gran numero di dispositivi, dall'educazione al divertimento. Molti ricercatori hanno cominciato a lavorare su Raspberry Pi per fornire uno strumento di computazione efficiente ed economico.
Su Raspberry Pi
Raspeberry Pi è un computer delle dimensioni di un Bancomat. Collegandolo alla TV e ad una tastiera, funziona come un normale computer. È un piccolo PC, che può essere usato per molte delle cose che il vostro PC desktop fa, come fogli di calcolo, scrittura di documenti e giochi. Potete vederci Youtube in qualità HD. Potete programmare che il vostro robot di cattura scatti immagini di aree differenti. Collegandolo ad un display esterno, potete anche disegnare tavole per annunci pubblicitari. Ma non è da utilizzare solo come dispositivo integrato, può anche sostituire un server con caratteristiche di portabilità e plug&play.
Con un costo approssimativo di 25$, è molto economico sia per gli studenti che per i ricercatori che lavorano nel campo degli integrati e dell'open source. Ne esistono due modelli, RPi-A e RPi-B disponibili nello store. I dettagli tecnici per entrambi sono riportati qui a destra.
Articolo compilato da:
TEAM LinQuestus
Prof. Chirag K. Gohel (Assistente del Dipartimento di Computer & IT)
Sig. Himanshu Madhvani (Studente ultimo anno in IT)
Sig. Sunil Lalvani (Studente ultimo anno in IT)
Sig. Sagar Rangani (Studente ultimo anno in IT)
Sig.a Avni Savaliya (Studente ultimo anno in IT)
http://www.facebook.com/Linquestus
**********TABELLA***********************
Specifiche
Prezzo approssimativo
SoC
Processore
GPU
Memoria
USB
Uscita Video
Uscita Audio
Disco Rigido
Rete
Consumo di Energia
Sistema Operativo
Modello – A
25 $
Broadcom BCM2835 (CPU, GPU, DSP, SDRAM e una singola porta USB, Processore Broadcom Media
ARM (11 generazione) da 700 Mhz
Broadcom VideoCore IV
256 MB (Condivisi con la GPU)
1
RCA Composita, 1.4 HDMI
JACK da 3.5 mm, HDMI  Lettore di schede SD/MMC
No
300mA
Debian GNU/Linux, Fedora, Arch Linux ARM
Modello – B
35 $
512 MB (condivisa con la GPU)
2
Ethernet 10/100
700mA
Note alla traduzione
plug&play l'ho lasciato così per non sforare gli spazi a disposizione. Altrimenti si può tradurre con "senza bisogno di installazione"
Revisione
COS È – RASPBERRY PI
Scritto da TEAM LinQuestus
L'idea di un computer per bambini piccolo ed economico nacque nel 2006, quando Eben Upton e i suoi colleghi nel Laboratorio di Informatica dell'Università di Cambridge vennero turbati dal declino, anno dopo anno più evidente, del numero e del livello di capacità degli studenti di Livello A di ogni anno accademico impegnati nello studio dell'Informatica.
Dal 2006 al 2008, Eben ha disegnato diverse versioni di ciò che è conosciuto con il nome di Raspberry Pi. Dal 2008, i processori disegnati per i dispositivi mobili stavano diventando più affidabili e abbastanza potenti da fornire una eccellente multimedialità, ed Eden intuì che ciò avrebbe reso la scheda appetibile per quei ragazzini che altrimenti non sarebbero stati interessati in uno strumento di pura programmazione.
Attualmente, Pete Lomas è un amministratore della fondazione Raspberry Pi. Ha disegnato l'hardware finale che ha consentito di arrivare al Raspberry Pi.
Raspberry Pi è oggi usato in un gran numero di dispositivi, dall'educazione al divertimento. Molti ricercatori hanno cominciato a lavorare su Raspberry Pi per fornire uno strumento di computazione efficiente ed economico.
Su Raspberry Pi
Raspeberry Pi è un computer delle dimensioni di un Bancomat. Collegandolo alla TV e ad una tastiera, funziona come un normale computer. È un piccolo PC, che può essere usato per molte delle cose che il vostro PC desktop fa, come fogli di calcolo, scrittura di documenti e giochi. Potete vederci Youtube in qualità HD. Potete programmare che il vostro robot di cattura scatti immagini di aree differenti. Collegandolo ad un display esterno, potete anche disegnare tavole per annunci pubblicitari. Ma non è da utilizzare solo come dispositivo integrato, può anche sostituire un server con caratteristiche di portabilità e plug&play.
Con un costo approssimativo di 25$, è molto economico sia per gli studenti che per i ricercatori che lavorano nel campo degli integrati e dell'open source. Ne esistono due modelli, RPi-A e RPi-B disponibili nello store. I dettagli tecnici per entrambi sono riportati qui a destra.
Articolo compilato da:
TEAM LinQuestus
Prof. Chirag K. Gohel (Assistente del Dipartimento di Computer & IT)
Sig. Himanshu Madhvani (Studente ultimo anno in IT)
Sig. Sunil Lalvani (Studente ultimo anno in IT)
Sig. Sagar Rangani (Studente ultimo anno in IT)
Sig.a Avni Savaliya (Studente ultimo anno in IT)
http://www.facebook.com/Linquestus
**********TABELLA***********************
Specifiche
Prezzo approssimativo
SoC
Processore
GPU
Memoria
USB
Uscita Video
Uscita Audio
Disco Rigido
Rete
Consumo di Energia
Sistema Operativo
Modello – A
25 $
Broadcom BCM2835 (CPU, GPU, DSP, SDRAM e una singola porta USB, Processore Broadcom Media
ARM (11 generazione) da 700 Mhz
Broadcom VideoCore IV
256 MB (Condivisi con la GPU)
1
RCA Composita, 1.4 HDMI
JACK da 3.5 mm, HDMI  Lettore di schede SD/MMC
No
300mA
Debian GNU/Linux, Fedora, Arch Linux ARM
Modello – B
35 $
512 MB (condivisa con la GPU)
2
Ethernet 10/100
700mA
Note alla revisione