formalisibilité