English ordered binary decision diagram: la traduction en autres langues