formalisabilité