Introduzione al sistema operativo Linux.