3 ms·

Replying to the dead comment: you're probably right about León, but López comes from Lope (as in De Vega).