— HONFLEUE den 15 juli.