Sorry for this late answer.

You were right : I've made a few changes (randomly I must say, as nothing seemed relevant), and Shift + F3 works again !

Otherwise I've discovered that wdNextCase could have done the job.

Thanks.


PS : I don't know how to declare this thread is solved...