Given the above, you don 't need to open e.g. a stream for stderr yourself but simply use the constant instead of the stream resource:
Etant donné ce qui précède, vous n'avez pas besoin d 'ouvrir un fichier vers stderr par vous-même, mais vous pouvez utiliser cette constante directement, comme un descripteur de fichier: