En vérification formelle, on utilise des valeurs symboliques et on applique les règles qui régissent le + et l' *. Ici, les règles pourraient être: L'analyse statique par interprétation abstraite, ...

Dans cette lettre soyez très factuel, toujours courtois et précisez les nuisances (jours, heures, type de bruit). Si la situation persiste, vous devez faire appel à un médiateur de la mairie ...