Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de

globaux qui ne sont pas déclarés dans les variables du programme,
notamment les fonctions.  Adaptation de Cminorgen et de sa preuve en 
conséquence. 


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@47 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e