quindi
se io ho un file di testo e lo chiamo dario.pippo
è giusto definire .pippo l estenzione del file dario?