Algunas funciones y procedimientos para el manejo de ficheros con Ada.Text_IO: