OK, I found the problem and it's indeed a /etc/udev/rules.d/70-persistent-net.rules problem. The OS is on a USB key that I plug into various computers. By default udev records the mac address and doesn't notice that the computer changed. The result defeats the purpose of dhcp, so I think it still a bug. But then it's a design bug. I suggest to close this one and to open a new one where appropriate (but where is it, udev?).
OK, I found the problem and it's indeed a /etc/udev/ rules.d/ 70-persistent- net.rules problem. The OS is on a USB key that I plug into various computers. By default udev records the mac address and doesn't notice that the computer changed. The result defeats the purpose of dhcp, so I think it still a bug. But then it's a design bug. I suggest to close this one and to open a new one where appropriate (but where is it, udev?).