G-ALG : analyse, exécution, validation et traduction d'algorithmes.