The Sorbonne's ESIT website includes a number of declarative inversions I'm not familiar with, such as the following:
Based on this usage, I gather that the context is the stipulation of conditions or terms. I also notice that all three examples are non-simple verb tenses.
Is that the only context? How normal is this? Is it insufferably formal, or par for the course for a university website?