Types de ressources

Un type de ressource est défini par cette extension : un pointeur de fichier, retourné par la fonction dio_open().