Comment 19 for bug 1022640

Michael: Vulcain did a lot of tests and is keeping on right now with newer versions.
Do you have any idea how to dig about this to understand why sometimes it works, sometimes it doesn't? We don't succeed in finding the discriminant element.