rigueur weierstrassienne