To answer the title question, no they aren't the classic Nervex Pro lugset, but look similar to them. They may be another style of Nervex or a Prugnat lug in the same vein...I've seen that distinctive notching in the front of the headlugs before, but never looked into who made them. Looks like at least a mid-grade bike, see if you can decipher what's left of the tubing decal on the seat tube. Might be 531 main tubes, at least...the Huret Alvit RD is a bit of a lump, but then it has that SL 93 and what looks like forged dropouts, so...worth cleaning it up and investigating further.