ASTD to B traduction