Implémentation redFromFile