Promela : début