($1 = 0,8595 euro)