It is unlikely in the extreme that DJB would ever try to enforce the copyright on TweetNaCl. But yes, if you want to use SC4 in France, I guess that's a risk you'll have to take. There's nothing I can do about that.