Broken link in README

[amahboubi]

For instance in the documentation paragraph for HB commands, the link to a (structures.v) raises a 404 error.

[CohenCyril]

You wrote broken links. Is there another one?

[amahboubi]

It seems not in the end, my mistake.