corrections mineures php