($1 = 0,8858 euro)