esiste una funzione php sul filesystem che controlla che una directory non sia vuota???