The Debian installation is provided by my dedicated server provider, you can install in the control panel and this sourcelist is how the server was setup, so I really don't know why the php5 lines are included.
I'll try with just the two lines you suggest, thanks again.