Delete boubou2k_tetravex.p