Are daft punk songs copyrighted