Ho visto che per recuperare il nome di un file si può fare così:
$nome = $_FILES['miofile']['name'];

Ma in 'miofile' cosa ci devo mettere?