Refer to the other Asterix trace