isomorphismes - In trying to understand sheaves, topology, open...