il simbolo asterisco ‘
*
’ utilizzato all’interno dei nomi dei file sta ad indicare una qualunque sequenza di caratteri (v. cap.
4
).