Merge branch 'feature/martin/kernel/569-statement-associe-a-une-identified_property' into 'master'

Resolve "Statement associé à une identified_property"

Closes #569

See merge request frama-c/frama-c!4457