Envoyer par SMS: Static analysis of cylindrical tank shells