Describir: Vers une sémantique statique formelle pour Java