Releases by George, Paul Louis (INRIA, France)