correction bugs (#3) · Issues · ntrugeon / tp4lp2023