Tapenade Authors ================ Ecuador Team, Inria Sophia Antipolis - Méditerranée - tapenade@inria.fr - Laurent Hascoët - Valérie Pascual