hoare claire

@x-chOu-93-x