, « 8,45 * )*