[Pharo-dev] Problem with gitfiletree numeration